Thanks to visit codestin.com
Credit goes to github.com

Skip to content

Permit ANSI escape codes through unharmed #16

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Open
kitt-cat wants to merge 1 commit into
base: <3
Choose a base branch
from
Open

Permit ANSI escape codes through unharmed #16

Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
47 changes: 30 additions & 17 deletions gay
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -13,7 +13,6 @@ from sys import stdin, stdout
from typing import Callable, Iterator, Mapping, Optional, Sequence, Tuple, cast
from unicodedata import east_asian_width


class _ColourSpace(Enum):
EIGHT = "8"
TRUE = "24"
Expand Down Expand Up @@ -316,9 +315,9 @@ def _trap_sig() -> None:

def _stdin_stream() -> Iterator[str]:
while True:
line = stdin.read(696969)
line = stdin.buffer.read(696969)
if line:
yield from line
yield from line.decode('utf-8')
else:
break

Expand All @@ -331,18 +330,6 @@ def _normalize_width(tab_width: int, stream: Iterator[str]) -> Iterator[str]:
yield char


def _unicode_width(stream: Iterator[str]) -> Iterator[Tuple[int, str]]:
def char_width(char: str) -> int:
try:
code = east_asian_width(char)
return _UNICODE_WIDTH_LOOKUP.get(code, 1)
except Exception:
return 1

for char in stream:
yield char_width(char), char


def _parse_raw_palette(raw: _RawPalette) -> _Palette:
def parse_colour(colour: _HexColour) -> _RGB:
hexc = colour[1:]
Expand Down Expand Up @@ -418,9 +405,36 @@ def _paint_flag(colour_space: _ColourSpace, palette: _Palette) -> Iterator[str]:
yield linesep


def _parse_ansi(stream: Iterator[str]) -> Iterator[Tuple[str, bool]]:
for char in stream:
if char != '\x1b':
yield (char, False)
else:
code = char
for attr_char in stream:
code += attr_char
# approximate hack to find end of escape code
if attr_char.isalpha() or attr_char in "\n\a":
break
yield (code, True)


def _enumerate_lines(stream: Iterator[str]) -> Iterator[Tuple[bool, int, str]]:
def char_width(char: str) -> int:
try:
code = east_asian_width(char)
return _UNICODE_WIDTH_LOOKUP.get(code, 1)
except Exception:
return 1

l_stream = _unicode_width(stream)
def get_width(stream) -> Iterator[Tuple[int, str]]:
for char, is_code in _parse_ansi(stream):
if is_code:
yield (0, char)
else:
yield (char_width(char), char)

l_stream = get_width(stream)
prev: Optional[Tuple[int, str]] = next(l_stream, None)
x = 0 if prev is None else 1

Expand Down Expand Up @@ -507,7 +521,6 @@ def _interpolation_for(
else:
raise ValueError()


def _colourize(
colour_space: _ColourSpace,
rgb_gen: Iterator[Iterator[_RGB]],
Expand Down