Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

scripts: Allow modifying console font #5069

Merged
merged 1 commit into from
Nov 9, 2023
Merged

Conversation

ricekot
Copy link
Member

@ricekot ricekot commented Nov 5, 2023

Overview

Provide options to allow editing the font name and size used in the Script Console code editor.

Related Issues

Checklist

  • Update help
  • Update changelog
  • Run ./gradlew spotlessApply for code formatting
  • Write tests
  • Check code coverage
  • Sign-off commits
  • Squash commits
  • Use a descriptive title


<h3>Font Name</h3>
<p>Set the name of the font used in the script console.
The default font is <code>Monospaced</code>.
Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Is this a default (base install) font across Windows and MacOS as well?

Copy link
Member Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Yup. From https://docs.oracle.com/javase/tutorial/2d/text/fonts.html#logical-fonts,

These fonts are available on any Java platform and can be thought of as aliases for some underlying font that has the properties implied by its name.

Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Oh okay. I had looked at some other docs for Windows but if it's an alias name then that makes more sense.

Copy link
Member Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Tweaked this for clarity.

Signed-off-by: ricekot <github@ricekot.com>
@ricekot
Copy link
Member Author

ricekot commented Nov 8, 2023

Addressed review comments.

@thc202
Copy link
Member

thc202 commented Nov 8, 2023

Thank you!

@ricekot ricekot requested a review from kingthorin November 9, 2023 14:30
@kingthorin kingthorin merged commit e03af77 into zaproxy:main Nov 9, 2023
10 checks passed
@ricekot ricekot deleted the scripts/font branch November 10, 2023 08:52
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Development

Successfully merging this pull request may close these issues.

Allow to choose the font for Script Console's code text area
3 participants