aboutsummaryrefslogtreecommitdiffstats
path: root/contrib/tools/python/src/Lib/idlelib/ZoomHeight.py
diff options
context:
space:
mode:
authornkozlovskiy <nmk@ydb.tech>2023-09-29 12:24:06 +0300
committernkozlovskiy <nmk@ydb.tech>2023-09-29 12:41:34 +0300
commite0e3e1717e3d33762ce61950504f9637a6e669ed (patch)
treebca3ff6939b10ed60c3d5c12439963a1146b9711 /contrib/tools/python/src/Lib/idlelib/ZoomHeight.py
parent38f2c5852db84c7b4d83adfcb009eb61541d1ccd (diff)
downloadydb-e0e3e1717e3d33762ce61950504f9637a6e669ed.tar.gz
add ydb deps
Diffstat (limited to 'contrib/tools/python/src/Lib/idlelib/ZoomHeight.py')
-rw-r--r--contrib/tools/python/src/Lib/idlelib/ZoomHeight.py51
1 files changed, 51 insertions, 0 deletions
diff --git a/contrib/tools/python/src/Lib/idlelib/ZoomHeight.py b/contrib/tools/python/src/Lib/idlelib/ZoomHeight.py
new file mode 100644
index 00000000000..a5d679e4991
--- /dev/null
+++ b/contrib/tools/python/src/Lib/idlelib/ZoomHeight.py
@@ -0,0 +1,51 @@
+# Sample extension: zoom a window to maximum height
+
+import re
+import sys
+
+from idlelib import macosxSupport
+
+class ZoomHeight:
+
+ menudefs = [
+ ('windows', [
+ ('_Zoom Height', '<<zoom-height>>'),
+ ])
+ ]
+
+ def __init__(self, editwin):
+ self.editwin = editwin
+
+ def zoom_height_event(self, event):
+ top = self.editwin.top
+ 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
+
+ elif macosxSupport.isAquaTk():
+ # The '88' below is a magic number that avoids placing the bottom
+ # of the window below the panel on my machine. I don't know how
+ # to calculate the correct value for this with tkinter.
+ newy = 22
+ newheight = newheight - newy - 88
+
+ else:
+ #newy = 24
+ newy = 0
+ #newheight = newheight - 96
+ newheight = newheight - 88
+ if height >= newheight:
+ newgeom = ""
+ else:
+ newgeom = "%dx%d+%d+%d" % (width, newheight, x, newy)
+ top.wm_geometry(newgeom)