| Server IP : 127.0.0.1 / Your IP : 216.73.216.109 Web Server : Apache/2.4.54 (Win64) OpenSSL/1.1.1q PHP/8.1.10 System : Windows NT DESKTOP-E5T4RUN 10.0 build 19045 (Windows 10) AMD64 User : SERVERWEB ( 0) PHP Version : 8.1.10 Disable Function : NONE MySQL : OFF | cURL : ON | WGET : OFF | Perl : OFF | Python : OFF | Sudo : OFF | Pkexec : OFF Directory : C:/cygwin64/lib/python3.9/site-packages/pip/_vendor/rich/__pycache__/ |
Upload File : |
a
X��e� � @ s" d dl mZmZmZmZmZ ddlmZ ddlm Z ddl
mZ ddlm
Z
ertddlmZmZmZmZ ddlmZ G d d
� d
�Zedk�rd dlmZ dd
lmZ ddlmZ ddlmZ edd� ee� � �D �ddd�Z!eee!ddd�dd��Zed� q�W d � n1 �s0 Y dS )� )�cast�List�Optional�
TYPE_CHECKING�Union� )�SPINNERS)�Measurement)�Table)�Text)�Console�ConsoleOptions�RenderResult�RenderableType)� StyleTypec @ s� e Zd ZdZdddd�eded edd�d d
�Zddd
d�dd�Zdde d�dd�Z
edd�dd�Zdddd�ded ee dd�dd�ZdS )�Spinnera� A spinner animation.
Args:
name (str): Name of spinner (run python -m rich.spinner).
text (RenderableType, optional): A renderable to display at the right of the spinner (str or Text typically). Defaults to "".
style (StyleType, optional): Style for spinner animation. Defaults to None.
speed (float, optional): Speed factor for animation. Defaults to 1.0.
Raises:
KeyError: If name isn't one of the supported spinner animations.
� Ng �?)�style�speedr r )�name�textr r �returnc C s� zt | }W n ty, td|����Y n0 t|t�rBt�|�n|| _ttt |d �d d � | _ tt
|d �| _d | _|| _
|| _d| _d| _d S )Nzno spinner called �frames�interval� )r �KeyError�
isinstance�strr �from_markupr r r r �floatr �
start_timer r �frame_no_offset�
_update_speed)�selfr r r r Zspinner� r$ �</usr/lib/python3.9/site-packages/pip/_vendor/rich/spinner.py�__init__ s �zSpinner.__init__r r
r )�console�optionsr c c s | � |�� �V d S )N)�renderZget_time)r# r'