Comment 34 for bug 1265898

(In reply to signupemail from comment #3)
> A test I should have tried before: I disabled all extensions (as well as resetting system themes to defaults). The problem persisted. @WaltS48: thank you for your testing; do you have HiDPI? I do (as I said above) and I have Cinnamon set to scale the screen by a factor of 2.

No, I don't have HiDPI.