Ticket #2900: indep_resolution.patch
File indep_resolution.patch, 1.1 KB (added by ebordon, 13 years ago) |
---|
-
CartoonBuilder.activity
old new SOUND_SPEAKER = 'images/sounds/speaker.p 25 25 SOUND_MUTE = 'images/sounds/mute.png' 26 26 SOUND_CUSTOM = 'images/sounds/custom.png' 27 27 28 LOGO_WIDTH = 27528 LOGO_WIDTH = style.zoom(275) 29 29 TAPE_COUNT = 11 30 30 FRAME_COUNT = 14 31 31 32 32 DESKTOP_WIDTH = gtk.gdk.screen_width() 33 33 DESKTOP_HEIGHT = gtk.gdk.screen_height() - style.LARGE_ICON_SIZE 34 34 35 THUMB_SIZE = min(100, DESKTOP_WIDTH / (TAPE_COUNT+1))35 THUMB_SIZE = style.zoom(min(100, DESKTOP_WIDTH / (TAPE_COUNT+1))) 36 36 37 FRAME_COLS = max(1, ((DESKTOP_WIDTH-LOGO_WIDTH) -37 FRAME_COLS = style.zoom(max(1, ((DESKTOP_WIDTH-LOGO_WIDTH) - 38 38 min(DESKTOP_HEIGHT-THUMB_SIZE-THUMB_SIZE/2, DESKTOP_WIDTH-LOGO_WIDTH)) 39 / THUMB_SIZE) 39 / THUMB_SIZE)) 40 40 41 41 FRAME_ROWS = max((DESKTOP_HEIGHT - THUMB_SIZE*3) / THUMB_SIZE, 42 42 int(ceil(float(FRAME_COUNT) / FRAME_COLS))) 43 43 44 BORDER_WIDTH = 1044 BORDER_WIDTH = style.zoom(10) 45 45 46 46 # Colors from the Rich's UI design 47 47