RichTextElement constructor

RichTextElement(RichText widget)

Creates a rich text element for a RichText widget.

Implementation

RichTextElement(RichText super.widget);