mirrors/fltk
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

X11 under Ubuntu: read screen scaling information from file $HOME/.config/monitors.xml

Browse Source 
git-svn-id: file:///fltk/svn/fltk/branches/branch-1.4@13048 ea41ed52-d2ee-0310-a9c1-e6b18d33e121
This commit is contained in:
Manolo Gouy 2018-09-14 14:38:06 +00:00
parent a0fcfa55d6
commit d23892ef52
1 changed files with 29 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

30
src/drivers/X11/Fl_X11_Screen_Driver.cxx
View File

@ -28,7 +28,7 @@
#include <FL/Fl_Box.H>
#include <FL/Fl_Image_Surface.H>
#include <FL/Fl_Tooltip.H>
#include <FL/filename.H>
#include <sys/time.h>
#if HAVE_XINERAMA
@ -1228,6 +1228,30 @@ static bool is_name_in_list(const char *name, const char **list) {
}
static bool use_monitors_xml(float &factor) {
// read file $HOME/.config/monitors.xml, search <scale>#</scale> data therein, and use it
char path[FL_PATH_MAX], line[100], *p;
bool found = false;
p = getenv("HOME");
if (!p) return false;
strcpy(path, p);
strcat(path, "/.config/monitors.xml");
FILE *in = fopen(path, "r");
if (!in) return false;
p = fgets(line, sizeof(line), in);
if (strstr(line, "<monitors version=\"2\">")) {
while (fgets(line, sizeof(line), in)) {
if( (p = strstr(line, "<scale>")) && strstr(p, "</scale>") ) {
p += 7;
sscanf(p, "%f", &factor);
found = true;
}
}
}
fclose(in);
return found;
}
// define types needed for dynamic lib functions
typedef const char** (*g_settings_list_schemas_ftype)(void);
typedef void (*g_variant_get_ftype)(void *value, const char *format_string, ...);
@ -1267,6 +1291,9 @@ static void* value_of_key_in_schema(const char **known, const char *schema, cons
Example value: {'VGA-0': 10}
Its type is "a{si}". This value should be divided by 8 to get the correct scaling factor.
In Ubuntu 18, file $HOME/.config/monitors.xml contains the gnome scaling factor value,
and FLTK reads that.
Debian or FreeBSD :
Change the gnome scaling factor with:
Tweak tools ==> Windows ==> Window scaling
@ -1351,6 +1378,7 @@ static bool gnome_scale_factor(float& factor) {
}
if (ubuntu) {
if (use_monitors_xml(factor)) return true;
gvar = value_of_key_in_schema(known, "com.ubuntu.user-interface", "scale-factor");
if (gvar) {
found = true;