diff options
author | Gonzalo Odiard <gonzalo@laptop.org> | 2011-12-07 18:52:25 (GMT) |
---|---|---|
committer | Simon Schampijer <simon@schampijer.de> | 2011-12-15 16:27:01 (GMT) |
commit | 02735657b3047af47d206420974b0c7526cca28f (patch) | |
tree | 96c39523ac4b8b674b6de7af6b183b823b9a9cd5 | |
parent | ea2f92a69ee5d9ab96a349aa1aab769767627c76 (diff) |
Set the sugar theme name in gsettings according the scalereview
We need set the theme in gsettings according the scale in
the SUGAR_SCLING environment variable.
Signed-off-by: Gonzalo Odiard <gonzalo@laptop.org>
-rw-r--r-- | src/sugar3/activity/activity.py | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/src/sugar3/activity/activity.py b/src/sugar3/activity/activity.py index 5e9986d..aedcae8 100644 --- a/src/sugar3/activity/activity.py +++ b/src/sugar3/activity/activity.py @@ -272,10 +272,15 @@ class Activity(Window, Gtk.Container): icons_path = os.path.join(get_bundle_path(), 'icons') Gtk.IconTheme.get_default().append_search_path(icons_path) + sugar_theme = 'sugar-72' + if 'SUGAR_SCALING' in os.environ: + if os.environ['SUGAR_SCALING'] == '100': + sugar_theme = 'sugar-100' + # This code can be removed when we grow an xsettings daemon (the GTK+ # init routines will then automatically figure out the font settings) settings = Gtk.Settings.get_default() - settings.set_property('gtk-theme-name', 'sugar') + settings.set_property('gtk-theme-name', sugar_theme) settings.set_property('gtk-icon-theme-name', 'sugar') settings.set_property('gtk-font-name', '%s %f' % (style.FONT_FACE, style.FONT_SIZE)) |