Comment 2 for bug 1337117

Revision history for this message
Cedric (dreeck) wrote :

In Windows 10, I remedied this problem by scaling the display to a perfect coefficient, in my case 200%. It's a bit big on galaxy book 12 (DPI: 216 ppi), but it's still bearable.

Note that under Ubuntu I don't have this problem, it could be related to GTK support under windows.