switching between tabs with different font sizes causes unnecessary resize events
@ssieb
Submitted by Samuel Sieb Link to original bug (#672965)
Description
Switching between tabs with different font sizes in the same window causes the scroll position to get messed up. Going from a larger font tab to a smaller font tab causes the scrollbar to go up and updates to the window aren't shown. It also appears to cause resize events in the tab. Switching from a smaller font tab to a larger font tab causes the scroll position to go past the end so the content is higher than it should be until a redraw (like hitting enter on the command line) brings it back down.
Version: 3.14.x