| David Scherer | 7aced17 | 2000-08-15 01:13:23 +0000 | [diff] [blame] | 1 | # Sample extension: zoom a window to maximum height |
| 2 | |
| 3 | import re |
| 4 | import sys |
| 5 | |
| 6 | class ZoomHeight: |
| 7 | |
| 8 | menudefs = [ |
| 9 | ('windows', [ |
| 10 | ('_Zoom Height', '<<zoom-height>>'), |
| 11 | ]) |
| 12 | ] |
| Steven M. Gava | 72c3bf0 | 2002-01-19 10:41:51 +0000 | [diff] [blame] | 13 | |
| David Scherer | 7aced17 | 2000-08-15 01:13:23 +0000 | [diff] [blame] | 14 | def __init__(self, editwin): |
| 15 | self.editwin = editwin |
| 16 | |
| 17 | def zoom_height_event(self, event): |
| 18 | top = self.editwin.top |
| 19 | zoom_height(top) |
| 20 | |
| 21 | def zoom_height(top): |
| 22 | geom = top.wm_geometry() |
| 23 | m = re.match(r"(\d+)x(\d+)\+(-?\d+)\+(-?\d+)", geom) |
| 24 | if not m: |
| 25 | top.bell() |
| 26 | return |
| 27 | width, height, x, y = map(int, m.groups()) |
| 28 | newheight = top.winfo_screenheight() |
| 29 | if sys.platform == 'win32': |
| 30 | newy = 0 |
| 31 | newheight = newheight - 72 |
| 32 | else: |
| 33 | newy = 24 |
| 34 | newheight = newheight - 96 |
| 35 | if height >= newheight: |
| 36 | newgeom = "" |
| 37 | else: |
| 38 | newgeom = "%dx%d+%d+%d" % (width, newheight, x, newy) |
| 39 | top.wm_geometry(newgeom) |