You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Controlling, getting, the terminal font, would be a nice feature to have.
Task Todo
The font types supported by different terminals may be different, but they should all support adjusting the font size.
One idea is that we provide an interface to help the user detect which fonts are supported by the current terminal, and then the user can select one of these fonts as needed.
The font size setting should be a generic interface, which will give the terminal more possibilities.
Research how we can control the font with windows consols
Research how we can control the font with linux terminals
Task Description
Controlling, getting, the terminal font, would be a nice feature to have.
Task Todo
The font types supported by different terminals may be different, but they should all support adjusting the font size.
One idea is that we provide an interface to help the user detect which fonts are supported by the current terminal, and then the user can select one of these fonts as needed.
The font size setting should be a generic interface, which will give the terminal more possibilities.
Research how we can control the font with windows consols
Research how we can control the font with linux terminals
Notices
windows
The text was updated successfully, but these errors were encountered: