1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253545556575859606162636465666768697071727374757677787980818283848586878889909192 |
- from typing import Any, Dict, Iterable, List
- from . import get_console
- from .segment import Segment
- from .terminal_theme import DEFAULT_TERMINAL_THEME
- JUPYTER_HTML_FORMAT = """\
- <pre style="white-space:pre;overflow-x:auto;line-height:normal;font-family:Menlo,'DejaVu Sans Mono',consolas,'Courier New',monospace">{code}</pre>
- """
- class JupyterRenderable:
- """A shim to write html to Jupyter notebook."""
- def __init__(self, html: str, text: str) -> None:
- self.html = html
- self.text = text
- def _repr_mimebundle_(
- self, include: Iterable[str], exclude: Iterable[str], **kwargs: Any
- ) -> Dict[str, str]:
- data = {"text/plain": self.text, "text/html": self.html}
- if include:
- data = {k: v for (k, v) in data.items() if k in include}
- if exclude:
- data = {k: v for (k, v) in data.items() if k not in exclude}
- return data
- class JupyterMixin:
- """Add to an Rich renderable to make it render in Jupyter notebook."""
- __slots__ = ()
- def _repr_mimebundle_(
- self, include: Iterable[str], exclude: Iterable[str], **kwargs: Any
- ) -> Dict[str, str]:
- console = get_console()
- segments = list(console.render(self, console.options)) # type: ignore
- html = _render_segments(segments)
- text = console._render_buffer(segments)
- data = {"text/plain": text, "text/html": html}
- if include:
- data = {k: v for (k, v) in data.items() if k in include}
- if exclude:
- data = {k: v for (k, v) in data.items() if k not in exclude}
- return data
- def _render_segments(segments: Iterable[Segment]) -> str:
- def escape(text: str) -> str:
- """Escape html."""
- return text.replace("&", "&").replace("<", "<").replace(">", ">")
- fragments: List[str] = []
- append_fragment = fragments.append
- theme = DEFAULT_TERMINAL_THEME
- for text, style, control in Segment.simplify(segments):
- if control:
- continue
- text = escape(text)
- if style:
- rule = style.get_html_style(theme)
- text = f'<span style="{rule}">{text}</span>' if rule else text
- if style.link:
- text = f'<a href="{style.link}">{text}</a>'
- append_fragment(text)
- code = "".join(fragments)
- html = JUPYTER_HTML_FORMAT.format(code=code)
- return html
- def display(segments: Iterable[Segment], text: str) -> None:
- """Render segments to Jupyter."""
- html = _render_segments(segments)
- jupyter_renderable = JupyterRenderable(html, text)
- try:
- from IPython.display import display as ipython_display
- ipython_display(jupyter_renderable)
- except ModuleNotFoundError:
- # Handle the case where the Console has force_jupyter=True,
- # but IPython is not installed.
- pass
- def print(*args: Any, **kwargs: Any) -> None:
- """Proxy for Console print."""
- console = get_console()
- return console.print(*args, **kwargs)
|