Changing font size while maximized leads to incorrect character dimensions
If I change the font size while maximized then un-maximize and try to resize the window, the reported character dimensions (by which I mean the overlay in the center of the window while resizing) are based on the original size. I think this is separate but related to #129.
- Open a terminal and confirm the reported character dimensions (e.g., 80x24)
- Maximize the window
- Increase or decrease the font size
- Un-maximize the window. The reported character dimensions should be about the same (80x24, or 79x23 because of #129).
It seems the un-maximize operation returns to the near-original pixel dimensions instead of the character dimensions but does not update what those character dimensions are based on the font size and pixel dimensions.
If I then increase or decrease the font size while un-maximized, it reports the correct dimensions again, so there is a workaround. Having accurate reported character dimensions is important to me because I write command-line tools and I sometimes want to make sure the tools' output is wrapping at 80 characters.
I am running Pop!_OS 19.10 and GNOME 3.34.1.