diff options
| author | Gonzalo Odiard <gonzalo@laptop.org> | 2011-12-07 18:52:25 (GMT) |
|---|---|---|
| committer | Simon Schampijer <simon@schampijer.de> | 2011-12-20 18:19:26 (GMT) |
| commit | 24af3582759c722c563ad42ff545c95b07f42207 (patch) | |
| tree | bab3f8323a807461dce142508d67cab39fc7047d | |
| parent | f05f221f7932d04411c110af7a87d138ab065efa (diff) | |
Set the sugar theme name in gsettings according the scale
We need set the theme in gsettings according the scale in
the SUGAR_SCLING environment variable.
Signed-off-by: Gonzalo Odiard <gonzalo@laptop.org>
Acked-by: Simon Schampijer <simon@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)) |