Gecko [ betsfootball.net ]

Name	Size	Permission	Date
__pycache__	[ DIR ]	drwxr-xr-x	2025-04-08 16:44
__init__.py	5.95 KB	-rw-r--r--	2023-02-19 14:19
__main__.py	8.28 KB	-rw-r--r--	2023-02-19 14:19
_cell_widths.py	9.86 KB	-rw-r--r--	2023-02-19 14:19
_emoji_codes.py	136.95 KB	-rw-r--r--	2023-02-19 14:19
_emoji_replace.py	1.04 KB	-rw-r--r--	2023-02-19 14:19
_export_format.py	2.06 KB	-rw-r--r--	2023-02-19 14:19
_extension.py	265 B	-rw-r--r--	2023-02-19 14:19
_inspect.py	9.47 KB	-rw-r--r--	2023-02-19 14:19
_log_render.py	3.15 KB	-rw-r--r--	2023-02-19 14:19
_loop.py	1.21 KB	-rw-r--r--	2023-02-19 14:19
_null_file.py	1.6 KB	-rw-r--r--	2023-02-19 14:19
_palettes.py	6.9 KB	-rw-r--r--	2023-02-19 14:19
_pick.py	423 B	-rw-r--r--	2023-02-19 14:19
_ratio.py	5.34 KB	-rw-r--r--	2023-02-19 14:19
_spinners.py	19.45 KB	-rw-r--r--	2023-02-19 14:19
_stack.py	351 B	-rw-r--r--	2023-02-19 14:19
_timer.py	417 B	-rw-r--r--	2023-02-19 14:19
_win32_console.py	22.29 KB	-rw-r--r--	2023-02-19 14:19
_windows.py	1.88 KB	-rw-r--r--	2023-02-19 14:19
_windows_renderer.py	2.72 KB	-rw-r--r--	2023-02-19 14:19
_wrap.py	1.8 KB	-rw-r--r--	2023-02-19 14:19
abc.py	890 B	-rw-r--r--	2023-02-19 14:19
align.py	10.13 KB	-rw-r--r--	2023-02-19 14:19
ansi.py	6.66 KB	-rw-r--r--	2023-02-19 14:19
bar.py	3.19 KB	-rw-r--r--	2023-02-19 14:19
box.py	9.61 KB	-rw-r--r--	2023-02-19 14:19
cells.py	4.4 KB	-rw-r--r--	2023-02-19 14:19
color.py	17.59 KB	-rw-r--r--	2023-02-19 14:19
color_triplet.py	1.03 KB	-rw-r--r--	2023-02-19 14:19
columns.py	6.96 KB	-rw-r--r--	2023-02-19 14:19
console.py	95.7 KB	-rw-r--r--	2023-02-19 14:19
constrain.py	1.26 KB	-rw-r--r--	2023-02-19 14:19
containers.py	5.37 KB	-rw-r--r--	2023-02-19 14:19
control.py	6.47 KB	-rw-r--r--	2023-02-19 14:19
default_styles.py	7.77 KB	-rw-r--r--	2023-02-19 14:19
diagnose.py	972 B	-rw-r--r--	2023-02-19 14:19
emoji.py	2.44 KB	-rw-r--r--	2023-02-19 14:19
errors.py	642 B	-rw-r--r--	2023-02-19 14:19
file_proxy.py	1.58 KB	-rw-r--r--	2023-02-19 14:19
filesize.py	2.45 KB	-rw-r--r--	2023-02-19 14:19
highlighter.py	9.36 KB	-rw-r--r--	2023-02-19 14:19
json.py	4.93 KB	-rw-r--r--	2023-02-19 14:19
jupyter.py	3.18 KB	-rw-r--r--	2023-02-19 14:19
layout.py	13.68 KB	-rw-r--r--	2023-02-19 14:19
live.py	13.84 KB	-rw-r--r--	2023-02-19 14:19
live_render.py	3.58 KB	-rw-r--r--	2023-02-19 14:19
logging.py	11.62 KB	-rw-r--r--	2023-02-19 14:19
markup.py	8.01 KB	-rw-r--r--	2023-02-19 14:19
measure.py	5.18 KB	-rw-r--r--	2023-02-19 14:19
padding.py	4.85 KB	-rw-r--r--	2023-02-19 14:19
pager.py	828 B	-rw-r--r--	2023-02-19 14:19
palette.py	3.32 KB	-rw-r--r--	2023-02-19 14:19
panel.py	10.33 KB	-rw-r--r--	2023-02-19 14:19
pretty.py	36.54 KB	-rw-r--r--	2023-02-19 14:19
progress.py	58.43 KB	-rw-r--r--	2023-02-19 14:19
progress_bar.py	7.97 KB	-rw-r--r--	2023-02-19 14:19
prompt.py	11.04 KB	-rw-r--r--	2023-02-19 14:19
protocol.py	1.36 KB	-rw-r--r--	2023-02-19 14:19
region.py	166 B	-rw-r--r--	2023-02-19 14:19
repr.py	4.33 KB	-rw-r--r--	2023-02-19 14:19
rule.py	4.66 KB	-rw-r--r--	2023-02-19 14:19
scope.py	2.78 KB	-rw-r--r--	2023-02-19 14:19
screen.py	1.55 KB	-rw-r--r--	2023-02-19 14:19
segment.py	23.66 KB	-rw-r--r--	2023-02-19 14:19
spinner.py	4.27 KB	-rw-r--r--	2023-02-19 14:19
status.py	4.32 KB	-rw-r--r--	2023-02-19 14:19
style.py	25.71 KB	-rw-r--r--	2023-02-19 14:19
styled.py	1.23 KB	-rw-r--r--	2023-02-19 14:19
syntax.py	34.17 KB	-rw-r--r--	2023-02-19 14:19
table.py	38.75 KB	-rw-r--r--	2023-02-19 14:19
terminal_theme.py	3.29 KB	-rw-r--r--	2023-02-19 14:19
text.py	44.62 KB	-rw-r--r--	2023-02-19 14:19
theme.py	3.54 KB	-rw-r--r--	2023-02-19 14:19
themes.py	102 B	-rw-r--r--	2023-02-19 14:19
traceback.py	25.46 KB	-rw-r--r--	2023-02-19 14:19
tree.py	8.95 KB	-rw-r--r--	2023-02-19 14:19

Rename

from typing import cast, List, Optional, Tuple, TYPE_CHECKING, Union

if TYPE_CHECKING:
    from .console import (
        Console,
        ConsoleOptions,
        RenderableType,
        RenderResult,
    )
from .jupyter import JupyterMixin
from .measure import Measurement
from .style import Style
from .segment import Segment

PaddingDimensions = Union[int, Tuple[int], Tuple[int, int], Tuple[int, int, int, int]]

class Padding(JupyterMixin):
    """Draw space around content.

Example:
        >>> print(Padding("Hello", (2, 4), style="on blue"))

Args:
        renderable (RenderableType): String or other renderable.
        pad (Union[int, Tuple[int]]): Padding for top, right, bottom, and left borders.
            May be specified with 1, 2, or 4 integers (CSS style).
        style (Union[str, Style], optional): Style for padding characters. Defaults to "none".
        expand (bool, optional): Expand padding to fit available width. Defaults to True.
    """

def __init__(
        self,
        renderable: "RenderableType",
        pad: "PaddingDimensions" = (0, 0, 0, 0),
        *,
        style: Union[str, Style] = "none",
        expand: bool = True,
    ):
        self.renderable = renderable
        self.top, self.right, self.bottom, self.left = self.unpack(pad)
        self.style = style
        self.expand = expand

@classmethod
    def indent(cls, renderable: "RenderableType", level: int) -> "Padding":
        """Make padding instance to render an indent.

Args:
            renderable (RenderableType): String or other renderable.
            level (int): Number of characters to indent.

Returns:
            Padding: A Padding instance.
        """

return Padding(renderable, pad=(0, 0, 0, level), expand=False)

@staticmethod
    def unpack(pad: "PaddingDimensions") -> Tuple[int, int, int, int]:
        """Unpack padding specified in CSS style."""
        if isinstance(pad, int):
            return (pad, pad, pad, pad)
        if len(pad) == 1:
            _pad = pad[0]
            return (_pad, _pad, _pad, _pad)
        if len(pad) == 2:
            pad_top, pad_right = cast(Tuple[int, int], pad)
            return (pad_top, pad_right, pad_top, pad_right)
        if len(pad) == 4:
            top, right, bottom, left = cast(Tuple[int, int, int, int], pad)
            return (top, right, bottom, left)
        raise ValueError(f"1, 2 or 4 integers required for padding; {len(pad)} given")

def __repr__(self) -> str:
        return f"Padding({self.renderable!r}, ({self.top},{self.right},{self.bottom},{self.left}))"

def __rich_console__(
        self, console: "Console", options: "ConsoleOptions"
    ) -> "RenderResult":
        style = console.get_style(self.style)
        if self.expand:
            width = options.max_width
        else:
            width = min(
                Measurement.get(console, options, self.renderable).maximum
                + self.left
                + self.right,
                options.max_width,
            )
        render_options = options.update_width(width - self.left - self.right)
        if render_options.height is not None:
            render_options = render_options.update_height(
                height=render_options.height - self.top - self.bottom
            )
        lines = console.render_lines(
            self.renderable, render_options, style=style, pad=True
        )
        _Segment = Segment

left = _Segment(" " * self.left, style) if self.left else None
        right = (
            [_Segment(f'{" " * self.right}', style), _Segment.line()]
            if self.right
            else [_Segment.line()]
        )
        blank_line: Optional[List[Segment]] = None
        if self.top:
            blank_line = [_Segment(f'{" " * width}\n', style)]
            yield from blank_line * self.top
        if left:
            for line in lines:
                yield left
                yield from line
                yield from right
        else:
            for line in lines:
                yield from line
                yield from right
        if self.bottom:
            blank_line = blank_line or [_Segment(f'{" " * width}\n', style)]
            yield from blank_line * self.bottom

def __rich_measure__(
        self, console: "Console", options: "ConsoleOptions"
    ) -> "Measurement":
        max_width = options.max_width
        extra_width = self.left + self.right
        if max_width - extra_width < 1:
            return Measurement(max_width, max_width)
        measure_min, measure_max = Measurement.get(console, options, self.renderable)
        measurement = Measurement(measure_min + extra_width, measure_max + extra_width)
        measurement = measurement.with_maximum(max_width)
        return measurement

if __name__ == "__main__":  #  pragma: no cover
    from pip._vendor.rich import print

print(Padding("Hello, World", (2, 4), style="on blue"))