FilesExpand file tree

3.4

/

ZoomHeight.py

Copy path

Blame

More file actions

Blame

More file actions

Latest commit

 

History

History

History

51 lines (42 loc) · 1.27 KB

3.4

/

ZoomHeight.py

Copy path

Top

File metadata and controls

• Code
• Blame

51 lines (42 loc) · 1.27 KB

Raw

Copy raw file

Download raw file

Open symbols panel

Edit and raw actions

1

2

3

4

5

6

7

8

9

10

11

12

13

14

15

16

17

18

19

20

21

22

23

24

25

26

27

28

29

30

31

32

33

34

35

36

37

38

39

40

41

42

43

44

45

46

47

48

49

50

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)