From 7ddfa06d6248ca18e33781ec8ba20163fc4c2ad5 Mon Sep 17 00:00:00 2001 From: Mike Gabriel Date: Fri, 16 Mar 2018 12:37:45 +0100 Subject: Port HiDPI support from slick-greeter. Inspired by these slick-greeter commits: commit ffd43c4d425e70bc003b490dcddb8fbae1fffea7 Author: Clement Lefebvre Date: Sat Apr 8 14:13:23 2017 +0100 HiDPI: Allow to force HiDPI support ON or OFF commit 809f1b30a321ae12fdd3ba154791f9ead291acc7 Author: Clement Lefebvre 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 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. --- arctica-greeter-check-hidpi | 67 +++++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 67 insertions(+) create mode 100755 arctica-greeter-check-hidpi (limited to 'arctica-greeter-check-hidpi') diff --git a/arctica-greeter-check-hidpi b/arctica-greeter-check-hidpi new file mode 100755 index 0000000..68f0baf --- /dev/null +++ b/arctica-greeter-check-hidpi @@ -0,0 +1,67 @@ +#!/usr/bin/python3 +# -*- coding: utf-8 -*- + +# Copyright (C) 2017 Clement Lefebvre +# +# This program is free software: you can redistribute it and/or modify +# it under the terms of the GNU General Public License version 3 as +# published by the Free Software Foundation. +# +# This program is distributed in the hope that it will be useful, +# but WITHOUT ANY WARRANTY; without even the implied warranty of +# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the +# GNU General Public License for more details. +# +# You should have received a copy of the GNU General Public License +# along with this program. If not, see . +# +# Authors: Clement Lefebvre + +import gi +gi.require_version('Gdk', '3.0') +from gi.repository import Gdk +import sys +import os + +HIDPI_LIMIT = 192 + +def get_window_scale(): + window_scale = 1 + try: + display = Gdk.Display.get_default() + screen = display.get_default_screen() + primary = screen.get_primary_monitor() + + rect = screen.get_monitor_geometry(primary) + width_mm = screen.get_monitor_width_mm(primary) + height_mm = screen.get_monitor_height_mm(primary) + monitor_scale = screen.get_monitor_scale_factor(primary) + + # Return 1 if the screen size isn't available (some TVs report their aspect ratio instead ... 16/9 or 16/10) + if ((width_mm == 160 and height_mm == 90) \ + or (width_mm == 160 and height_mm == 100) \ + or (width_mm == 16 and height_mm == 9) \ + or (width_mm == 16 and height_mm == 10)): + return 1 + + if rect.height < 1500: + return 1 + + if width_mm > 0 and height_mm > 0: + witdh_inch = width_mm / 25.4 + height_inch = height_mm / 25.4 + dpi_x = rect.width * monitor_scale / witdh_inch + dpi_y = rect.height * monitor_scale / height_inch + if dpi_x > HIDPI_LIMIT and dpi_y > HIDPI_LIMIT: + window_scale = 2 + + except Exception as detail: + syslog.syslog("Error while detecting hidpi mode: %s" % detail) + + return window_scale + +if __name__ == '__main__': + window_scale = get_window_scale(); + print ("{script}: Window scale is {value}".format(script=os.path.basename(sys.argv[0]), value=window_scale), file=sys.stderr) + print (window_scale, file=sys.stdout) + sys.exit(0) -- cgit v1.2.3