Customise font settings

[raskyld]

Is your feature request related to a problem? Please describe. Initial Request by Discord User eosdev

We cannot change the font of the terminal for now.

Describe the solution you'd like

The key words "MUST", "MUST NOT", "REQUIRED", "SHALL", "SHALL NOT", "SHOULD", "SHOULD NOT", "RECOMMENDED", "MAY", and "OPTIONAL" in this document are to be interpreted as described in RFC 2119.

• [ ] Being able to customise the font style [1]
  • [ ] MUST font-family
  • [ ] MUST font-size
  • [ ] MUST font-weight
  • [ ] SHOULD font-ligatures
  • [ ] MAY font-variant
  • [ ] MAY font-feature-settings
• [ ] Being able to customise the font layout [1]
  • [ ] MUST line-height
  • [ ] SHOULD letter-spacing
  • [ ] SHOULD word-spacing

Please, reference this issue in your PR so I can update the check-list 🙏

Additional References If you would like to implement this feature but are a novice with typography, take a look at:

[1] https://developer.mozilla.org/en-US/docs/Learn/CSS/Styling_text/Fundamentals#fonts

This should apply to wave as we are using Electron.

[sawka]

Thanks for submitting. The font-style requirements seem straightforward, but the font layout attributes feel like they might be a bit tricky. word-spacing in particular will probably not work (because each column in the terminal must be fixed width).

[muescha]

The application should allow users to change the font for both the terminal and other text within the interface

[oliverthiele]

I need powerline fonts for my zsh shell. Without this, many characters are not displayed correctly.

[aidan-gibson]

:\

[qianhaiyang]

I need powerline fonts for my zsh shell. Without this, many characters are not displayed correctly.

me too!

[aidan-gibson]

:\

[Secret-chest]

It is important to use one single font for all your coding to focus on the code and not on the font.

[AM-I-Human]

For the comments: you can change the font by doing this: /client:set termfontfamily="My Nerd Font Mono" I can see the nerd fonts.