diff options
author | Owen W. Taylor <otaylor@fishsoup.net> | 2014-07-11 16:42:38 -0400 |
---|---|---|
committer | Matthias Clasen <mclasen@redhat.com> | 2014-07-13 15:35:23 -0400 |
commit | fc6e2cc4b27403707bf2a9f4717442842914e626 (patch) | |
tree | 5d911997ef8c1ba99f257ab43198ec8fc4bc9ddc /gdk/gdkscreenprivate.h | |
parent | cef6f34fb7585fc423ec999822d515d6da0e6d6f (diff) | |
download | gtk+-fc6e2cc4b27403707bf2a9f4717442842914e626.tar.gz |
Handle resolution changes in the GDK backend code
gdk_x11_display_set_window_scale() affects the interpretation of the
Xft/DPI XSETTING - it is substituted inside GDK with the value of
Gdk/UnscaledDPI xsetting. However, this change is not propagated to
GTK+ and from GTK+ back to gdk_screen_set_resolution() until the
main loop is run.
Fix this by handling the screen resolution directly in gdk/x11.
This requires duplication of code between GDK and GTK+ since we still
have to handle DPI in GTK+ in the case that GdkSettings:gtk-xft-dpi
is set by the application.
https://bugzilla.gnome.org/show_bug.cgi?id=733076
Diffstat (limited to 'gdk/gdkscreenprivate.h')
-rw-r--r-- | gdk/gdkscreenprivate.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/gdk/gdkscreenprivate.h b/gdk/gdkscreenprivate.h index 23cf1bdae2..15c405604c 100644 --- a/gdk/gdkscreenprivate.h +++ b/gdk/gdkscreenprivate.h @@ -35,6 +35,7 @@ struct _GdkScreen cairo_font_options_t *font_options; gdouble resolution; /* pixels/points scale factor for fonts */ + guint resolution_set : 1; /* resolution set through public API */ guint closed : 1; }; |