Created attachment 5933 Patch implementing shortcuts for increasing/decreasing the terminal font size This enhancement is strongly related to bug 5605, but it's not based on the concept of a 'zoom factor', I'm offering a simple patch to resize the font size in a _single_ terminal tab. It does not affect the preferences, although it does resize the window to keep the grid size. As a result the other tabs get more or less space which could be a problem for some. The shortcut is Ctrl+Shift+Up/Down which appears to be convenient for smaller laptop keyboards. It seems that the VTE in GTK3 handles the font-scale property so this patch might become redundant soon. But in the meantime it could be helpful for people requesting such a feature.
Problem is the patch will resize the window even when there is "enough room" to display the current text (e.g. zooming up, down, then up again). I understand that's the easy implementation but it does mean that over time my terminal will grow bigger and bigger. In fact, it can even make the terminal window bigger than the screen. I would, though, support a version that scales the current text, keeps the window size constant, and wraps the text. This would be useful.
(In reply to Steve Dodier-Lazaro from comment #1) > Problem is the patch will resize the window even when there is "enough room" > to display the current text (e.g. zooming up, down, then up again). I > understand that's the easy implementation but it does mean that over time my > terminal will grow bigger and bigger. In fact, it can even make the terminal > window bigger than the screen. Thanks for pointing this out, I failed to trigger this case before. > I would, though, support a version that scales the current text, keeps the > window size constant, and wraps the text. This would be useful. Similarly to the problem above, I couldn't find a way to keep the size of a window with multiple tabs constant. A single tab is fine, but as soon as the tab bar appears, the size starts to jump weirdly upon font resizing. My GTK knowledge is rather limited, but I'll experiment and try to find a solution. Thanks.
Note that I don't know how exactly the terminal is implemented, but the tabs are most likely built via a GtkNotebook. The notebook will always adapt to be at least large enough for its largest child. This means there should be a logic specific to the terminal that is used to wrap text and avoid constantly resizing the terminal. Once you've changed the text font, a possible solution would be to flush the terminal and refeed it whatever content it had, letting the existing text-wrap function do its job.
Since we can have a multi-tabbed window, there's no sense to increase font in one tab and keep it in others - as this will break the desired terminal geometry. Closing this one in favor of bug 5605.