| Server IP : 217.160.0.135 / Your IP : 216.73.217.85 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 : /usr/lib/python3/dist-packages/prompt_toolkit/__pycache__/ |
Upload File : |
�
�Ïc�$ � �� � d Z ddlZddlZddlZddlmZmZ ddlmZm Z m
Z
mZmZm
Z
ddlmZ g d�Z G d� de� � � Z G d
� de� � Z G d� d
e� � Z G d� de� � Z G d� de� � ZdS )aW
Implementations for the history of a `Buffer`.
NOTE: There is no `DynamicHistory`:
This doesn't work well, because the `Buffer` needs to be able to attach
an event handler to the event when a history entry is loaded. This
loading can be done asynchronously and making the history swappable would
probably break this.
� N)�ABCMeta�abstractmethod)�AsyncGenerator�Iterable�List�Optional�Sequence�Tuple)�get_event_loop)�History�ThreadedHistory�DummyHistory�FileHistory�InMemoryHistoryc � � e Zd ZdZdd�Zdeedf fd�Zdee fd�Z deddfd�Z
edee fd �� � Z
ededdfd
�� � ZdS )r zg
Base ``History`` class.
This also includes abstract methods for loading/storing history.
�returnNc �"