zooming with multiple tabs
Submitted by And..@...ac.uk
Link to original bug (#120301)
Description
My problem is that zooming (with Ctrl++/-) changes the fontsize of only the current tab. Changing tabs in zoomed in state tries to resize the terminal window to match the original fontsizes, but this is inconsistent. After zooming in/changing tabs/zooming out I usually end up with many different fontsizes in different tabs, while at the same time the window size does not match what one would expect for the tab's fontsize.
gnome terminal version: 2.3.2
Version: 3.10.x