Anvil::Widgets::InputEditor
Einzeiliger Eingabezeileneditor mit History.
Der Puffer ist eine Liste von Grapheme-Clustern, nicht von Zeichen: nur so bewegt sich der Cursor um ein sichtbares Zeichen, wenn dieses aus mehreren Codepoints besteht (Emoji mit Variation Selector, e + Akzent). Die Spaltenrechnung geht durch dieselbe Breitenfunktion wie der Renderer, sonst steht der Cursor bei CJK-Text an der falschen Stelle.
Constructors
Instance methods
Verarbeitet eine Taste. Liefert den abgesendeten Text bei Enter,
sonst nil. Tasten, die den Editor nichts angehen, werden ignoriert —
die App-Schleife sieht sie ohnehin zuerst.
Text an der Cursorposition einfügen — für Einfügevorgänge und alles, was den Puffer von außen füllt.
Zeilenumbrüche werden zu Leerzeichen geglättet: sie würden das einzeilige Layout sprengen, und ein Umbruch in der Eingabezeile wäre ohnehin nicht darstellbar.