diff options
| author | ManoloFLTK <41016272+ManoloFLTK@users.noreply.github.com> | 2019-03-11 16:20:29 +0100 |
|---|---|---|
| committer | ManoloFLTK <41016272+ManoloFLTK@users.noreply.github.com> | 2019-03-11 16:20:29 +0100 |
| commit | 4e2ba8c888d650f566d43f58a525566c97f55a35 (patch) | |
| tree | 96da156f00820720ee66e371dc4731fa4312cc5c /src/drivers/X11/Fl_X11_Screen_Driver.H | |
| parent | 347581e3b4d6ee47a05c9dacba79684a623f6f0f (diff) | |
X11 platform: follow when the OS changes the Xft.dpi resource
Under gnome, Tweaks -> Fonts ->Scaling factor allows to change
the size of all fonts handled by gnome.
With that change, FLTK apps obey to changes to Xft.dpi.
Diffstat (limited to 'src/drivers/X11/Fl_X11_Screen_Driver.H')
| -rw-r--r-- | src/drivers/X11/Fl_X11_Screen_Driver.H | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/drivers/X11/Fl_X11_Screen_Driver.H b/src/drivers/X11/Fl_X11_Screen_Driver.H index 600a54584..deaaafdcf 100644 --- a/src/drivers/X11/Fl_X11_Screen_Driver.H +++ b/src/drivers/X11/Fl_X11_Screen_Driver.H @@ -52,6 +52,7 @@ protected: public: #if USE_XFT // scaling does not work without Xft + float current_xft_dpi; // current value of the Xft.dpi X resource virtual APP_SCALING_CAPABILITY rescalable() { return PER_SCREEN_APP_SCALING; } virtual float scale(int n) {return screens[n].scale;} virtual void scale(int n, float f) { screens[n].scale = f;} |