WithHoverTooltip

Contents

WithHoverTooltip#

class penzai.treescope.foldable_representation.basic_parts.WithHoverTooltip[source]#

Bases: DeferringToChild

Customized renderer that shows extra info on hover.

Variables:
  • child (RenderableTreePart) – Child to render.

  • tooltip (str) – Text to show when hovered over with the mouse.

Inherited Attributes

collapsed_width

The length of this rendering if collapsed in one line, in characters.

newlines_in_expanded_parent

The number of newlines in this rendering if in an expanded parent.

tags_in_this_part

Returns a set of "tag" objects contained in this part.

Methods

__init__(child, tooltip)

html_setup_parts(context)

render_to_html(stream, *[, at_beginning_of_line])

Attributes

collapsed_width

The length of this rendering if collapsed in one line, in characters.

newlines_in_expanded_parent

The number of newlines in this rendering if in an expanded parent.

tags_in_this_part

Returns a set of "tag" objects contained in this part.

child

tooltip

Inherited Methods

(expand to view inherited methods)

foldables_in_this_part()

render_to_text(stream, *, expanded_parent, ...)