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 : box.py

import sys
from typing import TYPE_CHECKING, Iterable, List

if sys.version_info >= (3, 8):
    from typing import Literal
else:
    from pip._vendor.typing_extensions import Literal  # pragma: no cover

from ._loop import loop_last

if TYPE_CHECKING:
    from pip._vendor.rich.console import ConsoleOptions

class Box:
    """Defines characters to render boxes.

┌─┬┐ top
    │ ││ head
    ├─┼┤ head_row
    │ ││ mid
    ├─┼┤ row
    ├─┼┤ foot_row
    │ ││ foot
    └─┴┘ bottom

Args:
        box (str): Characters making up box.
        ascii (bool, optional): True if this box uses ascii characters only. Default is False.
    """

def __init__(self, box: str, *, ascii: bool = False) -> None:
        self._box = box
        self.ascii = ascii
        line1, line2, line3, line4, line5, line6, line7, line8 = box.splitlines()
        # top
        self.top_left, self.top, self.top_divider, self.top_right = iter(line1)
        # head
        self.head_left, _, self.head_vertical, self.head_right = iter(line2)
        # head_row
        (
            self.head_row_left,
            self.head_row_horizontal,
            self.head_row_cross,
            self.head_row_right,
        ) = iter(line3)

# mid
        self.mid_left, _, self.mid_vertical, self.mid_right = iter(line4)
        # row
        self.row_left, self.row_horizontal, self.row_cross, self.row_right = iter(line5)
        # foot_row
        (
            self.foot_row_left,
            self.foot_row_horizontal,
            self.foot_row_cross,
            self.foot_row_right,
        ) = iter(line6)
        # foot
        self.foot_left, _, self.foot_vertical, self.foot_right = iter(line7)
        # bottom
        self.bottom_left, self.bottom, self.bottom_divider, self.bottom_right = iter(
            line8
        )

def __repr__(self) -> str:
        return "Box(...)"

def __str__(self) -> str:
        return self._box

def substitute(self, options: "ConsoleOptions", safe: bool = True) -> "Box":
        """Substitute this box for another if it won't render due to platform issues.

Args:
            options (ConsoleOptions): Console options used in rendering.
            safe (bool, optional): Substitute this for another Box if there are known problems
                displaying on the platform (currently only relevant on Windows). Default is True.

Returns:
            Box: A different Box or the same Box.
        """
        box = self
        if options.legacy_windows and safe:
            box = LEGACY_WINDOWS_SUBSTITUTIONS.get(box, box)
        if options.ascii_only and not box.ascii:
            box = ASCII
        return box

def get_top(self, widths: Iterable[int]) -> str:
        """Get the top of a simple box.

Args:
            widths (List[int]): Widths of columns.

Returns:
            str: A string of box characters.
        """

parts: List[str] = []
        append = parts.append
        append(self.top_left)
        for last, width in loop_last(widths):
            append(self.top * width)
            if not last:
                append(self.top_divider)
        append(self.top_right)
        return "".join(parts)

def get_row(
        self,
        widths: Iterable[int],
        level: Literal["head", "row", "foot", "mid"] = "row",
        edge: bool = True,
    ) -> str:
        """Get the top of a simple box.

Args:
            width (List[int]): Widths of columns.

Returns:
            str: A string of box characters.
        """
        if level == "head":
            left = self.head_row_left
            horizontal = self.head_row_horizontal
            cross = self.head_row_cross
            right = self.head_row_right
        elif level == "row":
            left = self.row_left
            horizontal = self.row_horizontal
            cross = self.row_cross
            right = self.row_right
        elif level == "mid":
            left = self.mid_left
            horizontal = " "
            cross = self.mid_vertical
            right = self.mid_right
        elif level == "foot":
            left = self.foot_row_left
            horizontal = self.foot_row_horizontal
            cross = self.foot_row_cross
            right = self.foot_row_right
        else:
            raise ValueError("level must be 'head', 'row' or 'foot'")

parts: List[str] = []
        append = parts.append
        if edge:
            append(left)
        for last, width in loop_last(widths):
            append(horizontal * width)
            if not last:
                append(cross)
        if edge:
            append(right)
        return "".join(parts)

def get_bottom(self, widths: Iterable[int]) -> str:
        """Get the bottom of a simple box.

Args:
            widths (List[int]): Widths of columns.

Returns:
            str: A string of box characters.
        """

parts: List[str] = []
        append = parts.append
        append(self.bottom_left)
        for last, width in loop_last(widths):
            append(self.bottom * width)
            if not last:
                append(self.bottom_divider)
        append(self.bottom_right)
        return "".join(parts)

ASCII: Box = Box(
    """\
+--+
| ||
|-+|
| ||
|-+|
|-+|
| ||
+--+
""",
    ascii=True,
)

ASCII2: Box = Box(
    """\
+-++
| ||
+-++
| ||
+-++
+-++
| ||
+-++
""",
    ascii=True,
)

ASCII_DOUBLE_HEAD: Box = Box(
    """\
+-++
| ||
+=++
| ||
+-++
+-++
| ||
+-++
""",
    ascii=True,
)

SQUARE: Box = Box(
    """\
┌─┬┐
│ ││
├─┼┤
│ ││
├─┼┤
├─┼┤
│ ││
└─┴┘
"""
)

SQUARE_DOUBLE_HEAD: Box = Box(
    """\
┌─┬┐
│ ││
╞═╪╡
│ ││
├─┼┤
├─┼┤
│ ││
└─┴┘
"""
)

MINIMAL: Box = Box(
    """\
  ╷ 
  │ 
╶─┼╴
  │ 
╶─┼╴
╶─┼╴
  │ 
  ╵ 
"""
)

MINIMAL_HEAVY_HEAD: Box = Box(
    """\
  ╷ 
  │ 
╺━┿╸
  │ 
╶─┼╴
╶─┼╴
  │ 
  ╵ 
"""
)

MINIMAL_DOUBLE_HEAD: Box = Box(
    """\
  ╷ 
  │ 
 ═╪ 
  │ 
 ─┼ 
 ─┼ 
  │ 
  ╵ 
"""
)

SIMPLE: Box = Box(
    """\
    
    
 ── 
    
    
 ── 
    
    
"""
)

SIMPLE_HEAD: Box = Box(
    """\
    
    
 ── 
    
    
    
    
    
"""
)

SIMPLE_HEAVY: Box = Box(
    """\
    
    
 ━━ 
    
    
 ━━ 
    
    
"""
)

HORIZONTALS: Box = Box(
    """\
 ── 
    
 ── 
    
 ── 
 ── 
    
 ── 
"""
)

ROUNDED: Box = Box(
    """\
╭─┬╮
│ ││
├─┼┤
│ ││
├─┼┤
├─┼┤
│ ││
╰─┴╯
"""
)

HEAVY: Box = Box(
    """\
┏━┳┓
┃ ┃┃
┣━╋┫
┃ ┃┃
┣━╋┫
┣━╋┫
┃ ┃┃
┗━┻┛
"""
)

HEAVY_EDGE: Box = Box(
    """\
┏━┯┓
┃ │┃
┠─┼┨
┃ │┃
┠─┼┨
┠─┼┨
┃ │┃
┗━┷┛
"""
)

HEAVY_HEAD: Box = Box(
    """\
┏━┳┓
┃ ┃┃
┡━╇┩
│ ││
├─┼┤
├─┼┤
│ ││
└─┴┘
"""
)

DOUBLE: Box = Box(
    """\
╔═╦╗
║ ║║
╠═╬╣
║ ║║
╠═╬╣
╠═╬╣
║ ║║
╚═╩╝
"""
)

DOUBLE_EDGE: Box = Box(
    """\
╔═╤╗
║ │║
╟─┼╢
║ │║
╟─┼╢
╟─┼╢
║ │║
╚═╧╝
"""
)

# Map Boxes that don't render with raster fonts on to equivalent that do
LEGACY_WINDOWS_SUBSTITUTIONS = {
    ROUNDED: SQUARE,
    MINIMAL_HEAVY_HEAD: MINIMAL,
    SIMPLE_HEAVY: SIMPLE,
    HEAVY: SQUARE,
    HEAVY_EDGE: SQUARE,
    HEAVY_HEAD: SQUARE,
}

if __name__ == "__main__":  # pragma: no cover

from pip._vendor.rich.columns import Columns
    from pip._vendor.rich.panel import Panel

from . import box as box
    from .console import Console
    from .table import Table
    from .text import Text

console = Console(record=True)

BOXES = [
        "ASCII",
        "ASCII2",
        "ASCII_DOUBLE_HEAD",
        "SQUARE",
        "SQUARE_DOUBLE_HEAD",
        "MINIMAL",
        "MINIMAL_HEAVY_HEAD",
        "MINIMAL_DOUBLE_HEAD",
        "SIMPLE",
        "SIMPLE_HEAD",
        "SIMPLE_HEAVY",
        "HORIZONTALS",
        "ROUNDED",
        "HEAVY",
        "HEAVY_EDGE",
        "HEAVY_HEAD",
        "DOUBLE",
        "DOUBLE_EDGE",
    ]

console.print(Panel("[bold green]Box Constants", style="green"), justify="center")
    console.print()

columns = Columns(expand=True, padding=2)
    for box_name in sorted(BOXES):
        table = Table(
            show_footer=True, style="dim", border_style="not dim", expand=True
        )
        table.add_column("Header 1", "Footer 1")
        table.add_column("Header 2", "Footer 2")
        table.add_row("Cell", "Cell")
        table.add_row("Cell", "Cell")
        table.box = getattr(box, box_name)
        table.title = Text(f"box.{box_name}", style="magenta")
        columns.add_renderable(table)
    console.print(columns)

# console.save_html("box.html", inline_styles=True)

${this.title}

Code Editor : box.py