FM / styles

/opt/imh-python/lib/python3.9/site-packages/prompt_toolkit/styles/

/opt/imh-python/lib/python3.9/site-packages/prompt_toolkit/styles

Name	Size	Mode	Actions
__pycache__/	-	0755	rm
base.py	5014	0644	edit dl rm
defaults.py	8699	0644	edit dl rm
named_colors.py	4367	0644	edit dl rm
pygments.py	1974	0644	edit dl rm
style.py	13043	0644	edit dl rm
style_transformation.py	12427	0644	edit dl rm
__init__.py	1640	0644	edit dl rm

Edit: /opt/imh-python/lib/python3.9/site-packages/prompt_toolkit/styles/pygments.py (1974B)

"""
Adaptor for building prompt_toolkit styles, starting from a Pygments style.

Usage::

from pygments.styles.tango import TangoStyle
    style = style_from_pygments_cls(pygments_style_cls=TangoStyle)
"""

from __future__ import annotations

from typing import TYPE_CHECKING

from .style import Style

if TYPE_CHECKING:
    from pygments.style import Style as PygmentsStyle
    from pygments.token import Token

__all__ = [
    "style_from_pygments_cls",
    "style_from_pygments_dict",
    "pygments_token_to_classname",
]

def style_from_pygments_cls(pygments_style_cls: type[PygmentsStyle]) -> Style:
    """
    Shortcut to create a :class:`.Style` instance from a Pygments style class
    and a style dictionary.

Example::

from prompt_toolkit.styles.from_pygments import style_from_pygments_cls
        from pygments.styles import get_style_by_name
        style = style_from_pygments_cls(get_style_by_name('monokai'))

:param pygments_style_cls: Pygments style class to start from.
    """
    # Import inline.
    from pygments.style import Style as PygmentsStyle

assert issubclass(pygments_style_cls, PygmentsStyle)

return style_from_pygments_dict(pygments_style_cls.styles)

def style_from_pygments_dict(pygments_dict: dict[Token, str]) -> Style:
    """
    Create a :class:`.Style` instance from a Pygments style dictionary.
    (One that maps Token objects to style strings.)
    """
    pygments_style = []

for token, style in pygments_dict.items():
        pygments_style.append((pygments_token_to_classname(token), style))

return Style(pygments_style)

def pygments_token_to_classname(token: Token) -> str:
    """
    Turn e.g. `Token.Name.Exception` into `'pygments.name.exception'`.

(Our Pygments lexer will also turn the tokens that pygments produces in a
    prompt_toolkit list of fragments that match these styling rules.)
    """
    parts = ("pygments",) + token
    return ".".join(parts).lower()

cmd: