diff options
| author | Guido van Rossum <guido@python.org> | 1999-06-01 18:17:02 (GMT) |
|---|---|---|
| committer | Guido van Rossum <guido@python.org> | 1999-06-01 18:17:02 (GMT) |
| commit | 96cf271be9c7046eececc31aac5d65bc904a554d (patch) | |
| tree | 089ae36fb3980c5ff860cf7f0948b5f624b1f49c /Tools/idle | |
| parent | 5fac2ab220bdfa19c96cdd941a7ebe624150fa82 (diff) | |
| download | cpython-96cf271be9c7046eececc31aac5d65bc904a554d.zip cpython-96cf271be9c7046eececc31aac5d65bc904a554d.tar.gz cpython-96cf271be9c7046eececc31aac5d65bc904a554d.tar.bz2 | |
Move zoom height functionality to separate function.
Diffstat (limited to 'Tools/idle')
| -rw-r--r-- | Tools/idle/ZoomHeight.py | 39 |
1 files changed, 21 insertions, 18 deletions
diff --git a/Tools/idle/ZoomHeight.py b/Tools/idle/ZoomHeight.py index 0aefea6..ecc306a 100644 --- a/Tools/idle/ZoomHeight.py +++ b/Tools/idle/ZoomHeight.py @@ -23,21 +23,24 @@ class ZoomHeight: 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()) - newheight = top.winfo_screenheight() - if sys.platform == 'win32': - newy = 0 - newheight = newheight - 72 - else: - newy = 24 - newheight = newheight - 96 - if height >= newheight: - newgeom = "" - else: - newgeom = "%dx%d+%d+%d" % (width, newheight, x, newy) - top.wm_geometry(newgeom) + zoom_height(top) + +def zoom_height(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()) + newheight = top.winfo_screenheight() + if sys.platform == 'win32': + newy = 0 + newheight = newheight - 72 + else: + newy = 24 + newheight = newheight - 96 + if height >= newheight: + newgeom = "" + else: + newgeom = "%dx%d+%d+%d" % (width, newheight, x, newy) + top.wm_geometry(newgeom) |