-
-
Notifications
You must be signed in to change notification settings - Fork 46
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
Terminal : Ability to choose a custom monospaced font #60
Comments
This comment has been minimized.
This comment has been minimized.
Thanks. If you want to see the full extend of font support (which I'm not asking but for you to know), you can have a look at the Iosevka font (https://github.com/be5invis/iosevka), ligatures Support (for developers on vim for example to get special symbols with 2 caracters), vim-powerline like in this example if I launch vim: |
Thank you a lot for adding additional knowledge! |
As #21 is now done for the terminal engine, I will now work on adding additional fonts. I will start with https://github.com/mshaugh/nerdfont-webfonts because I use hterm for the terminal rendering engine. |
Most font can be imported as CSS in an encoding if needed. But this website will offer most fonts anyone will need. Thanks. |
Hello @thaihugo 👋 Please try the latest WebSSH 15.0 Beta Release : P10K font have been included. Have a nice day ☀️ |
Hello @isontheline, #97 has been a great evolution as having symbols definitely help for using many programs as special shell prompts and vi with specific configurations. My request was more to be able to add any font or at least some fonts as the result can differ depending on the font. I perfectly understand if you want to close this request but the spirit of what I asked was to be able to add any user selected font as they can differ greatly between versions |
Hello @thaihugo 👋 Thank you a lot for your feedback 🙏 It will help me to prioritize next releases. |
From Jeff by email :
|
Using an app like "iFont" you can now install monospaced additional fonts and use them inside a custom theme of WebSSH. Available inside the latest beta release : https://testflight.apple.com/join/QSrBK59z |
Hi,
A neat addition would be support for additional font, either by adding them as CSS font, or using the additional one installed as a profile from iOS (Using ifont for example).
Currently, other SSH programs have this support, so you can use for example a nerd font or a powerline font to display specific terminal symbols. If I open the same session under webssh, I dont get the proper characters.
The terminal can be configured by some parameters, and I guess there is a CSS defining the view. Maybe adding a font selector there would be the right place in the interface?
Thanks
Hugo
For @isontheline work
The text was updated successfully, but these errors were encountered: