ui/line_editor library

Classes

LineEditor
The text and cursor of an input field, with the usual editing commands.