isa/mutter
1
0
Fork 0
mirror of https://github.com/brl/mutter.git synced 2025-06-14 01:09:30 +00:00
Code Issues Packages Projects Releases Wiki Activity

settings: Manage our own font DPI

Browse Source 
Previously gnome-shell listened on the Xft Xsettings via GTK+s
GtkSettings to get the font DPI setting. The Xsetting might not
be what we want, and we should not rely on Xsettings when we don't need
to, so lets manage it ourself.

https://bugzilla.gnome.org/show_bug.cgi?id=765011
This commit is contained in:
Jonas Ådahl
2017-05-05 18:05:21 +08:00
parent a6ec2b1d42
commit 88cae8bd3d
3 changed files with 68 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
src/meta/meta-settings.h
View File

@ -26,4 +26,6 @@
int meta_settings_get_ui_scaling_factor (MetaSettings *settings);
int meta_settings_get_font_dpi (MetaSettings *settings);
#endif /* META_SETTINGS_H */