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.
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.