Admin

name	type	size	perms	modified	actions
[parent directory]
__pycache__/	dir	-	0755	2026-08-19 08:39:33
filters/	dir	-	0755	2026-08-19 08:39:33
formatters/	dir	-	0755	2026-08-19 08:39:33
lexers/	dir	-	0755	2026-08-19 08:39:33
styles/	dir	-	0755	2026-08-19 08:39:33
__init__.py	file	2,983 B	0644	2026-07-20 00:00:00	edit
__main__.py	file	353 B	0644	2026-07-20 00:00:00	edit
console.py	file	1,718 B	0644	2026-07-20 00:00:00	edit
filter.py	file	1,910 B	0644	2026-07-20 00:00:00	edit
formatter.py	file	4,390 B	0644	2026-07-20 00:00:00	edit
lexer.py	file	35,349 B	0644	2026-07-20 00:00:00	edit
LICENSE	file	1,331 B	0644	2026-07-20 00:00:00	edit
modeline.py	file	1,005 B	0644	2026-07-20 00:00:00	edit
plugin.py	file	1,891 B	0644	2026-07-20 00:00:00	edit
regexopt.py	file	3,072 B	0644	2026-07-20 00:00:00	edit
scanner.py	file	3,092 B	0644	2026-07-20 00:00:00	edit
sphinxext.py	file	7,981 B	0644	2026-07-20 00:00:00	edit
style.py	file	6,420 B	0644	2026-07-20 00:00:00	edit
token.py	file	6,226 B	0644	2026-07-20 00:00:00	edit
unistring.py	file	63,208 B	0644	2026-07-20 00:00:00	edit
util.py	file	10,031 B	0644	2026-07-20 00:00:00	edit

editing: console.py

"""
    pygments.console
    ~~~~~~~~~~~~~~~~

Format colored console output.

:copyright: Copyright 2006-2025 by the Pygments team, see AUTHORS.
    :license: BSD, see LICENSE for details.
"""

esc = "\x1b["

codes = {}
codes[""] = ""
codes["reset"] = esc + "39;49;00m"

codes["bold"] = esc + "01m"
codes["faint"] = esc + "02m"
codes["standout"] = esc + "03m"
codes["underline"] = esc + "04m"
codes["blink"] = esc + "05m"
codes["overline"] = esc + "06m"

dark_colors = ["black", "red", "green", "yellow", "blue",
               "magenta", "cyan", "gray"]
light_colors = ["brightblack", "brightred", "brightgreen", "brightyellow", "brightblue",
                "brightmagenta", "brightcyan", "white"]

x = 30
for dark, light in zip(dark_colors, light_colors):
    codes[dark] = esc + "%im" % x
    codes[light] = esc + "%im" % (60 + x)
    x += 1

del dark, light, x

codes["white"] = codes["bold"]

def reset_color():
    return codes["reset"]

def colorize(color_key, text):
    return codes[color_key] + text + codes["reset"]

def ansiformat(attr, text):
    """
    Format ``text`` with a color and/or some attributes::

color       normal color
        *color*     bold color
        _color_     underlined color
        +color+     blinking color
    """
    result = []
    if attr[:1] == attr[-1:] == '+':
        result.append(codes['blink'])
        attr = attr[1:-1]
    if attr[:1] == attr[-1:] == '*':
        result.append(codes['bold'])
        attr = attr[1:-1]
    if attr[:1] == attr[-1:] == '_':
        result.append(codes['underline'])
        attr = attr[1:-1]
    result.append(codes[attr])
    result.append(text)
    result.append(codes['reset'])
    return ''.join(result)

cancel