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