In 2018 Steam on linux got the ability to autodetect HiDPI screens and resize the UI accordingly. I would guess this kicks in on 4k resolutions. I’m guessing…
As if to underscore my previous point, Gnome 3.10 introduced a new cause of crashes. Whenever I would intentionally or unintentionally drag a window from one workspace to…