12345678910111213141516171819202122232425262728293031323334353637383940414243444546474849505152535455565758596061626364656667686970 |
- """
- 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()
|