| Server IP : 217.160.0.135 / Your IP : 216.73.217.25 Web Server : Apache System : Linux www 6.18.52-i1-ampere #1203 SMP Mon Sep 14 18:29:59 CEST 2026 aarch64 User : sws1074145052 ( 1074145052) PHP Version : 8.3.32 Disable Function : NONE MySQL : OFF | cURL : ON | WGET : ON | Perl : ON | Python : OFF | Sudo : OFF | Pkexec : OFF Directory : /lib/python3/dist-packages/prompt_toolkit/layout/__pycache__/ |
Upload File : |
�
�Ïc�( � � � d Z ddlmZmZ ddlmZmZmZ ddlm Z m
Z
ddlmZm
Z
mZ ddlmZ ddlmZ erdd lmZ g d
�Z G d� de�
� � Z G d� de� � Z G d� de� � Z G d� de� � Z G d� de� � ZdS )zQ
Margin implementations for a :class:`~prompt_toolkit.layout.containers.Window`.
� )�ABCMeta�abstractmethod)�
TYPE_CHECKING�Callable�Optional)�FilterOrBool� to_filter)�StyleAndTextTuples�fragment_list_to_text�to_formatted_text)�
get_cwidth� )� UIContent)�WindowRenderInfo)�Margin�NumberedMargin�ScrollbarMargin�ConditionalMargin�PromptMarginc �j � e Zd ZdZedeg ef defd�� � Zedddedede fd �� � Z
d
S )r z&
Base interface for a margin.
�get_ui_content�returnc � � dS )a
Return the width that this margin is going to consume.
:param get_ui_content: Callable that asks the user control to create
a :class:`.UIContent` instance. This can be used for instance to
obtain the number of lines.
r � ��selfr s �?/usr/lib/python3/dist-packages/prompt_toolkit/layout/margins.py� get_widthzMargin.get_width"