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
Currently Termonad doesn't have any way to enlarge the font with a key combination. You have to edit the ~/.config/termonad/termonad.hs file and restart Termonad. This is pretty annoying and should be fixed.
I used to use the terminal emulator Roxterm. Roxterm has font resizing options like the following ("Zoom In", "Zoom Out", "Normal Size"):
It would be great to have similar options for Termonad. Adding this would require the following steps:
Add a new menu entry for enlarging and shrinking here.
Setup the callbacks for the options in the second half of this function.
Bonus points if you change it so that a FontDescription is actually associated with a single terminal instead of the entire application. That way the font size for a single terminal would be able to be increased instead of increasing the font sizes for all terminals.
Extra bonus points if you add a configuration option that the user can set that says whether they want the Increase Font Size / Decrease Font Size buttons to change the font size of ALL terminals, or just the focused on. Or, maybe add an extra button that increases the fontsize for all terminals??
The text was updated successfully, but these errors were encountered:
I just took a look at your code. Even though you've imported lenses, do you think that make lenses (or prisms) out of the data structures TMConfig, ConfigOptions, and ConfigHooks would make this easier?
EDIT: I thought you weren't using the lens package. I spoke too soon.
This is just a MVP implementation that gives a way to increase / decrease the fontsize with a menu option.
The following two improvements have not yet been made:
A FontDescription could be associated with a single terminal instead of the entire application. That way the font size for a single terminal would be able to be increased instead of increasing the font sizes for all terminals.
An extra menu option could be added that lets you change the font size of ALL terminals at once in addition to buttons that let you change the font size for only the current terminal.
This hasn't been implemented, but if someone is interested in it, I would accept a PR adding this.