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

Change the default fonts and sizes #1293

Closed
jwrober opened this issue Aug 17, 2022 · 1 comment
Closed

Change the default fonts and sizes #1293

jwrober opened this issue Aug 17, 2022 · 1 comment
Labels
enhancement New feature or request gui This issue requires changes to the user interface

Comments

@jwrober
Copy link
Collaborator

jwrober commented Aug 17, 2022

Is your feature request related to a problem? Please describe.
Related to issue #1292. Even if we don't bundle our own fonts, we should consider the defaults being used for all of the categories.

Describe the solution you'd like
This screen shot shows the default values on a Linux computer after PR #1281 is merged into master branch.
image

I suggest these defaults:

  • Default -- Sans Serif size 12, normal
  • Notify Label -- Sans Serif size 12, bold
  • Help Label -- Monospace size 12, italic
  • Help Text -- Monospace size 12, normal
  • Chatling -- Monospace size 12, normal
  • City Names -- Sans Serif, size 14 normal
  • City Productions -- Sans Serif, size 14 bold
  • Requirements Tree -- Sans Serif, size 12 italic

I went with monospace in the help because I personally think it is easier to read with the way we do formatting with the static text and then the generated text from the ruleset.

Describe alternatives you've considered
None

Additional context
This came up as part of the bug fix review in PR #1281

@jwrober jwrober added enhancement New feature or request gui This issue requires changes to the user interface labels Aug 17, 2022
@jwrober
Copy link
Collaborator Author

jwrober commented Aug 19, 2022

Duplicate of #1273 - Closing

@jwrober jwrober closed this as completed Aug 19, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement New feature or request gui This issue requires changes to the user interface
Projects
None yet
Development

No branches or pull requests

1 participant