diff options
Diffstat (limited to 'Lib/idlelib/zoomheight.py')
-rw-r--r-- | Lib/idlelib/zoomheight.py | 124 |
1 files changed, 0 insertions, 124 deletions
diff --git a/Lib/idlelib/zoomheight.py b/Lib/idlelib/zoomheight.py deleted file mode 100644 index cd50c91..0000000 --- a/Lib/idlelib/zoomheight.py +++ /dev/null @@ -1,124 +0,0 @@ -"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? |