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

Configurable terminal text style (font, size, spacing) #147

Open
2 of 3 tasks
cpsdqs opened this issue Sep 11, 2017 · 4 comments
Open
2 of 3 tasks

Configurable terminal text style (font, size, spacing) #147

cpsdqs opened this issue Sep 11, 2017 · 4 comments

Comments

@cpsdqs
Copy link
Collaborator

cpsdqs commented Sep 11, 2017

Currently, these options can't be configured:

  • font family
  • font size
  • line spacing/character spacing (aka gridScaleX/Y)
    • should definitely be live-updating
@MightyPork
Copy link
Member

live updating I think is not important, you do not normally have the config page open at the same time as the main screen. There could be a little preview canvas on the settings screen?

Then it's just a matter of strategically placing %replacements% in term.php for the initial load

@MightyPork MightyPork changed the title More terminal config options Configurable terminal text style (font, size, spacing) Sep 11, 2017
@MightyPork MightyPork added this to the 1.x POOL milestone Sep 11, 2017
@cpsdqs
Copy link
Collaborator Author

cpsdqs commented Sep 11, 2017

Preview canvas would work too (and it can replace the theme color preview as well)

@cpsdqs
Copy link
Collaborator Author

cpsdqs commented Oct 28, 2017

Bump

(I attempted it but it's really hard to write code that I can't compile in a language I never use)

@MightyPork
Copy link
Member

family and size are now configurable

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

No branches or pull requests

2 participants