That is a generic "X has the wrong DPI" and "applications don't get DPI from gnome-settings-daemon" thing. The first should be fixed, the second is not a bug because only GTK+ apps will do that.
This bug is specific to gtk-window-decorator not listening to gnome-settings-daemon which is a bug because it is a GTK+ application.
That is a generic "X has the wrong DPI" and "applications don't get DPI from gnome-settings- daemon" thing. The first should be fixed, the second is not a bug because only GTK+ apps will do that.
This bug is specific to gtk-window- decorator not listening to gnome-settings- daemon which is a bug because it is a GTK+ application.