Lib/idlelib/ZoomHeight.py

   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)