diff options
author | Rafael Ortiz <rafael@activitycentral.com> | 2011-06-21 20:10:41 (GMT) |
---|---|---|
committer | Rafael Ortiz <rafael@activitycentral.com> | 2011-06-21 20:10:41 (GMT) |
commit | cab483f1d08fefe111646e74b9286ad487583ea1 (patch) | |
tree | 27abd39f739e69d6c3c3a85c0fc3ed86724cbc44 | |
parent | 52c8b44fd8e32f0748acfbf3871f86a143d769d3 (diff) |
Cartoon Builder: make interface screen resolution independent
related to SL#2900 by Esteban Bordón ebordon@plan.ceibal.edu.uy
-rw-r--r-- | theme.py | 10 |
1 files changed, 5 insertions, 5 deletions
@@ -24,23 +24,23 @@ SOUND_SPEAKER = 'images/sounds/speaker.png' SOUND_MUTE = 'images/sounds/mute.png' SOUND_CUSTOM = 'images/sounds/custom.png' -LOGO_WIDTH = 275 +LOGO_WIDTH = style.zoom(275) TAPE_COUNT = 11 FRAME_COUNT = 14 DESKTOP_WIDTH = gtk.gdk.screen_width() DESKTOP_HEIGHT = gtk.gdk.screen_height() - style.LARGE_ICON_SIZE -THUMB_SIZE = min(100, DESKTOP_WIDTH / (TAPE_COUNT+1)) +THUMB_SIZE = style.zoom(min(100, DESKTOP_WIDTH / (TAPE_COUNT+1))) -FRAME_COLS = max(1, ((DESKTOP_WIDTH-LOGO_WIDTH) - +FRAME_COLS = style.zoom(max(1, ((DESKTOP_WIDTH-LOGO_WIDTH) - min(DESKTOP_HEIGHT-THUMB_SIZE-THUMB_SIZE/2, DESKTOP_WIDTH-LOGO_WIDTH)) - / THUMB_SIZE) + / THUMB_SIZE)) FRAME_ROWS = max((DESKTOP_HEIGHT - THUMB_SIZE*3) / THUMB_SIZE, int(ceil(float(FRAME_COUNT) / FRAME_COLS))) -BORDER_WIDTH = 10 +BORDER_WIDTH = style.zoom(10) # Colors from the Rich's UI design |