pgtk_get_monitor_scale_factor 2402 src/pgtkfns.c        scale = pgtk_get_monitor_scale_factor (gdk_monitor_get_model (monitor));
pgtk_get_monitor_scale_factor 2447 src/pgtkfns.c        scale = pgtk_get_monitor_scale_factor (gdk_monitor_get_model (monitor));
pgtk_get_monitor_scale_factor 2532 src/pgtkfns.c        scale = pgtk_get_monitor_scale_factor (gdk_monitor_get_model (monitor));
pgtk_get_monitor_scale_factor 2582 src/pgtkfns.c    double scale = pgtk_get_monitor_scale_factor (gdk_monitor_get_model (gmon));