Python code coverage for Lib/idlelib/ZoomHeight.py

#	count	content
1	n/a	# Sample extension: zoom a window to maximum height
2	n/a
3	n/a	import re
4	n/a	import sys
5	n/a
6	n/a	from idlelib import macosxSupport
7	n/a
8	n/a	class ZoomHeight:
9	n/a
10	n/a	menudefs = [
11	n/a	('windows', [
12	n/a	('_Zoom Height', '<<zoom-height>>'),
13	n/a	])
14	n/a	]
15	n/a
16	n/a	def __init__(self, editwin):
17	n/a	self.editwin = editwin
18	n/a
19	n/a	def zoom_height_event(self, event):
20	n/a	top = self.editwin.top
21	n/a	zoom_height(top)
22	n/a
23	n/a	def zoom_height(top):
24	n/a	geom = top.wm_geometry()
25	n/a	m = re.match(r"(\d+)x(\d+)\+(-?\d+)\+(-?\d+)", geom)
26	n/a	if not m:
27	n/a	top.bell()
28	n/a	return
29	n/a	width, height, x, y = map(int, m.groups())
30	n/a	newheight = top.winfo_screenheight()
31	n/a	if sys.platform == 'win32':
32	n/a	newy = 0
33	n/a	newheight = newheight - 72
34	n/a
35	n/a	elif macosxSupport.runningAsOSXApp():
36	n/a	# The '88' below is a magic number that avoids placing the bottom
37	n/a	# of the window below the panel on my machine. I don't know how
38	n/a	# to calculate the correct value for this with tkinter.
39	n/a	newy = 22
40	n/a	newheight = newheight - newy - 88
41	n/a
42	n/a	else:
43	n/a	#newy = 24
44	n/a	newy = 0
45	n/a	#newheight = newheight - 96
46	n/a	newheight = newheight - 88
47	n/a	if height >= newheight:
48	n/a	newgeom = ""
49	n/a	else:
50	n/a	newgeom = "%dx%d+%d+%d" % (width, newheight, x, newy)
51	n/a	top.wm_geometry(newgeom)