1 files changed, 35 insertions, 0 deletions
diff --git a/Tools/idle/ZoomHeight.py b/Tools/idle/ZoomHeight.py
new file mode 100644
index 0000000..eee901c
--- /dev/null
+++ b/Tools/idle/ZoomHeight.py
@@ -0,0 +1,35 @@
+# Sample extension: zoom a window to maximum height
+
+import re
+
+class ZoomHeight:
+
+    menudefs = [
+        ('windows', [
+            ('_Zoom Height', '<<zoom-height>>'),
+         ])
+    ]
+
+    windows_keydefs = {
+        '<<zoom-height>>': ['<Alt-F2>'],
+    }
+    unix_keydefs = {
+        '<<zoom-height>>': ['<Control-z><Control-z>'],
+    }
+
+    def __init__(self, editwin):
+        self.editwin = editwin
+
+    def zoom_height_event(self, event):
+        top = self.editwin.top
+        geom = top.wm_geometry()
+        m = re.match(r"(\d+)x(\d+)\+(-?\d+)\+(-?\d+)", geom)
+        if not m:
+            top.bell()
+            return
+        width, height, x, y = map(int, m.groups())
+        height = top.winfo_screenheight() - 72
+        newgeom = "%dx%d+%d+%d" % (width, height, x, 0)
+        if geom == newgeom:
+            newgeom = ""
+        top.wm_geometry(newgeom)