WithHoverTooltip#
- class penzai.treescope.foldable_representation.basic_parts.WithHoverTooltip[source]#
Bases:
DeferringToChildCustomized 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_widthThe length of this rendering if collapsed in one line, in characters.
newlines_in_expanded_parentThe number of newlines in this rendering if in an expanded parent.
tags_in_this_partReturns 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_widthThe length of this rendering if collapsed in one line, in characters.
newlines_in_expanded_parentThe number of newlines in this rendering if in an expanded parent.
tags_in_this_partReturns a set of "tag" objects contained in this part.
childtooltipInherited Methods
(expand to view inherited methods)
foldables_in_this_part()render_to_text(stream, *, expanded_parent, ...)