| Server IP : 3.111.61.48 / Your IP : 216.73.216.67 Web Server : Apache System : Linux ip-10-0-5-176 6.8.0-1057-aws #60~22.04.1-Ubuntu SMP Wed May 27 08:16:59 UTC 2026 x86_64 User : ubuntu ( 1000) PHP Version : 8.2.31 Disable Function : exec,passthru,shell_exec,system MySQL : OFF | cURL : ON | WGET : ON | Perl : ON | Python : OFF | Sudo : ON | Pkexec : ON Directory : /lib/python3.10/idlelib/__pycache__/ |
Upload File : |
o
�9jk � @ st d Z ddlZddlZddlZG dd� de�ZG dd� d�Zdd� Zd d
� Ze dkr8ddl
mZ ed
ddd� dS dS )z Zoom a window to maximum height.� Nc @ s e Zd ZdS )�WmInfoGatheringErrorN)�__name__�
__module__�__qualname__� r r �)/usr/lib/python3.10/idlelib/zoomheight.pyr s r c @ s2 e Zd Zi Zdd� Zd
dd�Zdd� Zdd � ZdS )�
ZoomHeightc C s || _ | j j| _d S �N)�editwin�top)�selfr
r r r �__init__ s zZoomHeight.__init__Nc C sF | � � }|d u r| j�� dS |rdnd}| jjdd|� d�d� dS )N�Restore�Zoom�optionsz* Heightz Height)�menu�index�label�break)�zoom_heightr �bellr
�update_menu_label)r �event�zoomed�menu_statusr r r �zoom_height_event s
�
�zZoomHeight.zoom_height_eventc C sx | j }t|�\}}}}|�� dkrd S z| �� \}}W n
ty% Y d S w ||kr5t|||||f� dS |�d� dS )N�normalT� F)r �get_window_geometry�wm_state�get_max_height_and_y_coordr �set_window_geometry�wm_geometry)r r �width�height�x�y� maxheight�maxyr r r r ! s �
zZoomHeight.zoom_heightc C s� | j }|�� |�� f}|| jvry|�� }z|�d� W n tjy' td��w |�� t |�\}}}}t
jdkr;d}|�� }|�d� |�� t |�} | d d� |f }
t
||
� |�� |�� }||| 7 }||f| j|<