1 # Sample extension: zoom a window to maximum height 2 3 import re 4 import sys 5 6 from idlelib import macosxSupport 7 8 class ZoomHeight: 9 10 menudefs = [ 11 ('windows', [ 12 ('_Zoom Height', '<<zoom-height>>'), 13 ]) 14 ] 15 16 def __init__(self, editwin): 17 self.editwin = editwin 18 19 def zoom_height_event(self, event): 20 top = self.editwin.top 21 zoom_height(top) 22 23 def zoom_height(top): 24 geom = top.wm_geometry() 25 m = re.match(r"(\d+)x(\d+)\+(-?\d+)\+(-?\d+)", geom) 26 if not m: 27 top.bell() 28 return 29 width, height, x, y = map(int, m.groups()) 30 newheight = top.winfo_screenheight() 31 if sys.platform == 'win32': 32 newy = 0 33 newheight = newheight - 72 34 35 elif macosxSupport.runningAsOSXApp(): 36 # The '88' below is a magic number that avoids placing the bottom 37 # of the window below the panel on my machine. I don't know how 38 # to calculate the correct value for this with tkinter. 39 newy = 22 40 newheight = newheight - newy - 88 41 42 else: 43 #newy = 24 44 newy = 0 45 #newheight = newheight - 96 46 newheight = newheight - 88 47 if height >= newheight: 48 newgeom = "" 49 else: 50 newgeom = "%dx%d+%d+%d" % (width, newheight, x, newy) 51 top.wm_geometry(newgeom) 52
