ColoredBorderIndentedChildren

class penzai.treescope.foldable_representation.common_styles.ColoredBorderIndentedChildren

Bases: IndentedChildren

A sequence of children that also draws a colored line on the left.

Assumes that the CSS variables –block-color and –block-border-scale are set in some container object. These are set by WithBlockColor.

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__(children)
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.
children

Inherited Methods

(expand to view inherited methods)

build(children[, comma_separated, ...])	Builds a IndentedChildren instance, supporting annotations and delimiters.
foldables_in_this_part()
render_to_text(stream, *, expanded_parent, ...)