ui/gtk/toolkit.c

changeset 146
dd0ae1c62a72
parent 142
46448d38885c
child 157
0b33b9396851
--- a/ui/gtk/toolkit.c	Sun Nov 12 12:03:50 2017 +0100
+++ b/ui/gtk/toolkit.c	Thu Nov 16 12:04:10 2017 +0100
@@ -60,6 +60,8 @@
 
 static UiObject      *active_window;
 
+static int scale_factor = 1;
+
 void ui_init(char *appname, int argc, char **argv) {
     gtk_init(&argc, &argv);
     application_name = appname;
@@ -73,6 +75,11 @@
     ui_image_init();
     
     uic_load_app_properties();
+    
+#ifdef UI_SUPPORTS_SCALE
+    scale_factor = gdk_monitor_get_scale_factor(
+            gdk_display_get_primary_monitor(gdk_display_get_default()));
+#endif
 }
 
 char* ui_appname() {
@@ -222,6 +229,10 @@
     }
 }
 
+int ui_get_scalefactor() {
+    return scale_factor;
+}
+
 void ui_destroy_userdata(GtkWidget *object, void *userdata) {
     free(userdata);
 }

mercurial