From 0c65e2504ef7e6d80babe911d991414f963cb08f Mon Sep 17 00:00:00 2001
From: Guido van Rossum <guido@python.org>
Date: Sun, 3 Jan 1999 00:47:07 +0000
Subject: [PATCH] Adapted to Unix (i.e., more hardcoded constants).

---
 Tools/idle/ZoomHeight.py | 13 ++++++++++---
 1 file changed, 10 insertions(+), 3 deletions(-)

diff --git a/Tools/idle/ZoomHeight.py b/Tools/idle/ZoomHeight.py
index eee901c04f7..b1ba70f0025 100644
--- a/Tools/idle/ZoomHeight.py
+++ b/Tools/idle/ZoomHeight.py
@@ -1,6 +1,7 @@
 # Sample extension: zoom a window to maximum height
 
 import re
+import sys
 
 class ZoomHeight:
 
@@ -14,7 +15,7 @@ class ZoomHeight:
         '<<zoom-height>>': ['<Alt-F2>'],
     }
     unix_keydefs = {
-        '<<zoom-height>>': ['<Control-z><Control-z>'],
+        '<<zoom-height>>': ['<Control-x><Control-z>'],
     }
 
     def __init__(self, editwin):
@@ -28,8 +29,14 @@ class ZoomHeight:
             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)
+        height = top.winfo_screenheight()
+        if sys.platform == 'win32':
+            y = 0
+            height = height = 72
+        else:
+            y = 24
+            height = height - 64
+        newgeom = "%dx%d+%d+%d" % (width, height, x, y)
         if geom == newgeom:
             newgeom = ""
         top.wm_geometry(newgeom)