mirror of
https://github.com/python/cpython.git
synced 2024-11-21 21:09:37 +01:00
5bff3c86ab
Measure required height by quickly maximizing once per screen. A search for a better method failed.
125 lines
4.1 KiB
Python
125 lines
4.1 KiB
Python
"Zoom a window to maximum height."
|
|
|
|
import re
|
|
import sys
|
|
import tkinter
|
|
|
|
|
|
class WmInfoGatheringError(Exception):
|
|
pass
|
|
|
|
|
|
class ZoomHeight:
|
|
# Cached values for maximized window dimensions, one for each set
|
|
# of screen dimensions.
|
|
_max_height_and_y_coords = {}
|
|
|
|
def __init__(self, editwin):
|
|
self.editwin = editwin
|
|
self.top = self.editwin.top
|
|
|
|
def zoom_height_event(self, event=None):
|
|
zoomed = self.zoom_height()
|
|
|
|
if zoomed is None:
|
|
self.top.bell()
|
|
else:
|
|
menu_status = 'Restore' if zoomed else 'Zoom'
|
|
self.editwin.update_menu_label(menu='options', index='* Height',
|
|
label=f'{menu_status} Height')
|
|
|
|
return "break"
|
|
|
|
def zoom_height(self):
|
|
top = self.top
|
|
|
|
width, height, x, y = get_window_geometry(top)
|
|
|
|
if top.wm_state() != 'normal':
|
|
# Can't zoom/restore window height for windows not in the 'normal'
|
|
# state, e.g. maximized and full-screen windows.
|
|
return None
|
|
|
|
try:
|
|
maxheight, maxy = self.get_max_height_and_y_coord()
|
|
except WmInfoGatheringError:
|
|
return None
|
|
|
|
if height != maxheight:
|
|
# Maximize the window's height.
|
|
set_window_geometry(top, (width, maxheight, x, maxy))
|
|
return True
|
|
else:
|
|
# Restore the window's height.
|
|
#
|
|
# .wm_geometry('') makes the window revert to the size requested
|
|
# by the widgets it contains.
|
|
top.wm_geometry('')
|
|
return False
|
|
|
|
def get_max_height_and_y_coord(self):
|
|
top = self.top
|
|
|
|
screen_dimensions = (top.winfo_screenwidth(),
|
|
top.winfo_screenheight())
|
|
if screen_dimensions not in self._max_height_and_y_coords:
|
|
orig_state = top.wm_state()
|
|
|
|
# Get window geometry info for maximized windows.
|
|
try:
|
|
top.wm_state('zoomed')
|
|
except tkinter.TclError:
|
|
# The 'zoomed' state is not supported by some esoteric WMs,
|
|
# such as Xvfb.
|
|
raise WmInfoGatheringError(
|
|
'Failed getting geometry of maximized windows, because ' +
|
|
'the "zoomed" window state is unavailable.')
|
|
top.update()
|
|
maxwidth, maxheight, maxx, maxy = get_window_geometry(top)
|
|
if sys.platform == 'win32':
|
|
# On Windows, the returned Y coordinate is the one before
|
|
# maximizing, so we use 0 which is correct unless a user puts
|
|
# their dock on the top of the screen (very rare).
|
|
maxy = 0
|
|
maxrooty = top.winfo_rooty()
|
|
|
|
# Get the "root y" coordinate for non-maximized windows with their
|
|
# y coordinate set to that of maximized windows. This is needed
|
|
# to properly handle different title bar heights for non-maximized
|
|
# vs. maximized windows, as seen e.g. in Windows 10.
|
|
top.wm_state('normal')
|
|
top.update()
|
|
orig_geom = get_window_geometry(top)
|
|
max_y_geom = orig_geom[:3] + (maxy,)
|
|
set_window_geometry(top, max_y_geom)
|
|
top.update()
|
|
max_y_geom_rooty = top.winfo_rooty()
|
|
|
|
# Adjust the maximum window height to account for the different
|
|
# title bar heights of non-maximized vs. maximized windows.
|
|
maxheight += maxrooty - max_y_geom_rooty
|
|
|
|
self._max_height_and_y_coords[screen_dimensions] = maxheight, maxy
|
|
|
|
set_window_geometry(top, orig_geom)
|
|
top.wm_state(orig_state)
|
|
|
|
return self._max_height_and_y_coords[screen_dimensions]
|
|
|
|
|
|
def get_window_geometry(top):
|
|
geom = top.wm_geometry()
|
|
m = re.match(r"(\d+)x(\d+)\+(-?\d+)\+(-?\d+)", geom)
|
|
return tuple(map(int, m.groups()))
|
|
|
|
|
|
def set_window_geometry(top, geometry):
|
|
top.wm_geometry("{:d}x{:d}+{:d}+{:d}".format(*geometry))
|
|
|
|
|
|
if __name__ == "__main__":
|
|
from unittest import main
|
|
main('idlelib.idle_test.test_zoomheight', verbosity=2, exit=False)
|
|
|
|
# Add htest?
|