| Commit message (Collapse) | Author | Age | Files | Lines |
|
|
|
|
|
| |
Ported from Slick Greeter by Mike Gabriel.
https://github.com/linuxmint/slick-greeter/commit/1fb20ba8665651307e6d498dc07009a2da26ab40
|
|
|
|
|
|
|
|
|
|
| |
When calculating the rectangle height, using `get_monitor_geometry`
returns "application pixels", rather than "device pixels". We need to
multiply by the scale factor to convert to the correct value.
https://valadoc.org/gdk-3.0/Gdk.Screen.get_monitor_geometry.html
Ported from slick-greeter by Mike Gabriel <mike.gabriel@das-netzwerkteam.de>
|
|
Inspired by these slick-greeter commits:
commit ffd43c4d425e70bc003b490dcddb8fbae1fffea7
Author: Clement Lefebvre <clement.lefebvre@linuxmint.com>
Date: Sat Apr 8 14:13:23 2017 +0100
HiDPI: Allow to force HiDPI support ON or OFF
commit 809f1b30a321ae12fdd3ba154791f9ead291acc7
Author: Clement Lefebvre <clement.lefebvre@linuxmint.com>
Date: Fri Apr 7 23:04:50 2017 +0100
HiDPI: Take the screen size in consideration
HiDPI shouldn't be activated on large screens where the dpi is OK.
commit 851fca4e5508471d6f388edcd0327c3fc5b2b12f
Author: Clement Lefebvre <clement.lefebvre@linuxmint.com>
Date: Fri Apr 7 18:43:42 2017 +0100
Add HiDPI support
Only support 1x and 2x scale ratios for now.
Also add a setting so the user can disable HiDPI support.
|