Have a look at this screenshot of my desktop:
The resolution on Steam is tiny, but the resolution on the terminal is normal. Up in the upper right, different icons have different resolutions. The Steam icon is normal, while the dropbox icon is small.
When I plug in my external monitor, I can use xrandr
to make the resolution 2650x1440. But I can't use the built-in GUI. If I hit the super key and type in "display", nothing happens. I suspect that this is related.
In fact, none of the settings come up.
What's going on here? Why do some windows follow one resolution and others follow another? Is it related to the inaccessibility of the settings GUI windows?
This all happened after a routine update that changed the look of Cinnamon slightly.