Decorate another element with a border.
It’s possible to give the border a title, in which case
the text appears in the top-left corner.
The characters comprising a border. By default, borders are made of unicode
box-drawing characters, but they can be changed to arbitrary characters via
this struct.
The space in cells between the edge of the bordered area
and the element inside.
Represents a particular view V, decorated by a decorator D.
Default view of a MenuInstance.
Default view of a RichText.
A list of MenuEntrys, in the order they appear when rendered,
with a description of how the text of the selected and normal
(ie. not selected) entries should be rendered.
A single entry in a menu. It owns the value
which will be yielded if this entry is
finalised.
An instance of a menu, with a selected entry.
When a MenuInstance is rendered, the
currently-selected entry is rendered using
the Menu’s selected_info.
A text element, where the style of the text
can be controlled. A single RichText element can have
several different parts, each styled differently.
A section of text sharing a common TextInfo.
Rich text settings