DeferredPlaceholder

DeferredPlaceholder#

class penzai.treescope.foldable_representation.foldable_impl.DeferredPlaceholder[source]#

Bases: DeferringToChild

A deferred part. Renders as a placeholder which will later be replaced.

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, replacement_id[, ...])

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.

saved_at_beginning_of_line

saved_render_context

tags_in_this_part

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

child

replacement_id

Inherited Methods

(expand to view inherited methods)

foldables_in_this_part()

html_setup_parts(context, /)

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