sintoris
About
- Username
- sintoris
- Joined
- Roles
- Member
Comments
-
Well thanks a lot for the suggestion, it helped a lot. It turns out it is a bug in Firefox 52 ESR (https://bugzilla.mozilla.org/show_bug.cgi?id=1431337). A workaround is to set the environment variable GDK_DPI_SCALE to the correct value before st…
-
Yes, the scaling issue remains.
-
window.devicePixelRatio is 2. I changed layout.css.devPixelsPerPx from -1 to 2. The Toolbar is now scaled properly, but all the other UI elements are not: https://imgur.com/a/i64RFWz