Gecko [ v99win.today ]

Name	Size	Permission
__pycache__	[ DIR ]	drwxr-xr-x
__init__.py	5.67 KB	-rw-r--r--
__main__.py	8.6 KB	-rw-r--r--
_cell_widths.py	9.86 KB	-rw-r--r--
_emoji_codes.py	136.95 KB	-rw-r--r--
_emoji_replace.py	1.04 KB	-rw-r--r--
_extension.py	265 B	-rw-r--r--
_inspect.py	7.27 KB	-rw-r--r--
_log_render.py	3.15 KB	-rw-r--r--
_loop.py	1.21 KB	-rw-r--r--
_lru_cache.py	1.22 KB	-rw-r--r--
_palettes.py	6.9 KB	-rw-r--r--
_pick.py	423 B	-rw-r--r--
_ratio.py	5.34 KB	-rw-r--r--
_spinners.py	25.9 KB	-rw-r--r--
_stack.py	351 B	-rw-r--r--
_timer.py	417 B	-rw-r--r--
_windows.py	2.02 KB	-rw-r--r--
_wrap.py	1.76 KB	-rw-r--r--
abc.py	890 B	-rw-r--r--
align.py	10.18 KB	-rw-r--r--
ansi.py	6.52 KB	-rw-r--r--
bar.py	3.19 KB	-rw-r--r--
box.py	8.86 KB	-rw-r--r--
cells.py	4.18 KB	-rw-r--r--
color.py	16.88 KB	-rw-r--r--
color_triplet.py	1.03 KB	-rw-r--r--
columns.py	6.96 KB	-rw-r--r--
console.py	79.33 KB	-rw-r--r--
constrain.py	1.26 KB	-rw-r--r--
containers.py	5.37 KB	-rw-r--r--
control.py	5.17 KB	-rw-r--r--
default_styles.py	7.44 KB	-rw-r--r--
diagnose.py	183 B	-rw-r--r--
emoji.py	2.44 KB	-rw-r--r--
errors.py	642 B	-rw-r--r--
file_proxy.py	1.58 KB	-rw-r--r--
filesize.py	2.45 KB	-rw-r--r--
highlighter.py	4.78 KB	-rw-r--r--
json.py	4.93 KB	-rw-r--r--
jupyter.py	2.95 KB	-rw-r--r--
layout.py	13.72 KB	-rw-r--r--
live.py	13.39 KB	-rw-r--r--
live_render.py	3.58 KB	-rw-r--r--
logging.py	10.61 KB	-rw-r--r--
markup.py	7.87 KB	-rw-r--r--
measure.py	5.13 KB	-rw-r--r--
padding.py	4.85 KB	-rw-r--r--
pager.py	838 B	-rw-r--r--
palette.py	3.32 KB	-rw-r--r--
panel.py	8.43 KB	-rw-r--r--
pretty.py	31.81 KB	-rw-r--r--
progress.py	35.08 KB	-rw-r--r--
progress_bar.py	7.58 KB	-rw-r--r--
prompt.py	11.04 KB	-rw-r--r--
protocol.py	1.37 KB	-rw-r--r--
region.py	166 B	-rw-r--r--
repr.py	4.21 KB	-rw-r--r--
rule.py	4.1 KB	-rw-r--r--
scope.py	2.78 KB	-rw-r--r--
screen.py	1.55 KB	-rw-r--r--
segment.py	23.36 KB	-rw-r--r--
spinner.py	4.21 KB	-rw-r--r--
status.py	4.32 KB	-rw-r--r--
style.py	25.85 KB	-rw-r--r--
styled.py	1.23 KB	-rw-r--r--
syntax.py	26.36 KB	-rw-r--r--
table.py	35.9 KB	-rw-r--r--
tabulate.py	1.66 KB	-rw-r--r--
terminal_theme.py	1.42 KB	-rw-r--r--
text.py	43.38 KB	-rw-r--r--
theme.py	3.54 KB	-rw-r--r--
themes.py	102 B	-rw-r--r--
traceback.py	25.33 KB	-rw-r--r--
tree.py	8.91 KB	-rw-r--r--

Code Editor : spinner.py

from typing import cast, List, Optional, TYPE_CHECKING

from ._spinners import SPINNERS
from .measure import Measurement
from .table import Table
from .text import Text

if TYPE_CHECKING:
    from .console import Console, ConsoleOptions, RenderResult, RenderableType
    from .style import StyleType

class Spinner:
    def __init__(
        self,
        name: str,
        text: "RenderableType" = "",
        *,
        style: Optional["StyleType"] = None,
        speed: float = 1.0,
    ) -> None:
        """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.
        """
        try:
            spinner = SPINNERS[name]
        except KeyError:
            raise KeyError(f"no spinner called {name!r}")
        self.text = Text.from_markup(text) if isinstance(text, str) else text
        self.frames = cast(List[str], spinner["frames"])[:]
        self.interval = cast(float, spinner["interval"])
        self.start_time: Optional[float] = None
        self.style = style
        self.speed = speed
        self.frame_no_offset: float = 0.0
        self._update_speed = 0.0

def __rich_console__(
        self, console: "Console", options: "ConsoleOptions"
    ) -> "RenderResult":
        yield self.render(console.get_time())

def __rich_measure__(
        self, console: "Console", options: "ConsoleOptions"
    ) -> Measurement:
        text = self.render(0)
        return Measurement.get(console, options, text)

def render(self, time: float) -> "RenderableType":
        """Render the spinner for a given time.

Args:
            time (float): Time in seconds.

Returns:
            RenderableType: A renderable containing animation frame.
        """
        if self.start_time is None:
            self.start_time = time

frame_no = ((time - self.start_time) * self.speed) / (
            self.interval / 1000.0
        ) + self.frame_no_offset
        frame = Text(
            self.frames[int(frame_no) % len(self.frames)], style=self.style or ""
        )

if self._update_speed:
            self.frame_no_offset = frame_no
            self.start_time = time
            self.speed = self._update_speed
            self._update_speed = 0.0

if not self.text:
            return frame
        elif isinstance(self.text, (str, Text)):
            return Text.assemble(frame, " ", self.text)
        else:
            table = Table.grid(padding=1)
            table.add_row(frame, self.text)
            return table

def update(
        self,
        *,
        text: "RenderableType" = "",
        style: Optional["StyleType"] = None,
        speed: Optional[float] = None,
    ) -> None:
        """Updates attributes of a spinner after it has been started.

Args:
            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 None.
        """
        if text:
            self.text = Text.from_markup(text) if isinstance(text, str) else text
        if style:
            self.style = style
        if speed:
            self._update_speed = speed

if __name__ == "__main__":  # pragma: no cover
    from time import sleep

from .columns import Columns
    from .panel import Panel
    from .live import Live

all_spinners = Columns(
        [
            Spinner(spinner_name, text=Text(repr(spinner_name), style="green"))
            for spinner_name in sorted(SPINNERS.keys())
        ],
        column_first=True,
        expand=True,
    )

with Live(
        Panel(all_spinners, title="Spinners", border_style="blue"),
        refresh_per_second=20,
    ) as live:
        while True:
            sleep(0.1)

${this.title}

Code Editor : spinner.py