diff options
author | Aleksey Lim <alsroot@sugarlabs.org> | 2012-06-06 18:00:10 (GMT) |
---|---|---|
committer | Aleksey Lim <alsroot@sugarlabs.org> | 2012-06-06 18:00:10 (GMT) |
commit | 099ce81a80c3aff188dfff5042573c9786a0e033 (patch) | |
tree | 19a17d6360e4235badff97d2bd469988ee958fda /Jam/JamMain.py | |
parent | 89f84e1cebbc9b6dcf7fa9ce1f21553367c44bb5 (diff) |
Use down scaled images if one of screen dimensions is 800 or less
Diffstat (limited to 'Jam/JamMain.py')
-rw-r--r-- | Jam/JamMain.py | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/Jam/JamMain.py b/Jam/JamMain.py index 662ebcf..beee980 100644 --- a/Jam/JamMain.py +++ b/Jam/JamMain.py @@ -11,6 +11,7 @@ import random import common.Util.Instruments import common.Config as Config +from common.Config import scale from common.Config import imagefile from gettext import gettext as _ import sugar.graphics.style as style @@ -332,7 +333,7 @@ class JamMain(gtk.EventBox): self.colors["Picker_Bg_Inactive"]) self.GUI["notebook"].props.tab_vborder = style.TOOLBOX_TAB_VBORDER self.GUI["notebook"].props.tab_hborder = style.TOOLBOX_TAB_HBORDER - self.GUI["notebook"].set_size_request(-1, 160) + self.GUI["notebook"].set_size_request(-1, scale(160)) self.GUI["notebook"].connect("switch-page", self.setPicker) self.GUI["mainVBox"].pack_start(self.GUI["notebook"], False, False) self.pickers = {} |