Editor gadgets - Factor Documentation (original) (raw)
Editor gadgets
Factor handbook » UI framework » Building user interfaces » Pre-made UI gadgets
Prev: | Scroller gadgets |
---|---|
Next: | Popup menus |
The ui.gadgets.editors vocabulary implements editor gadgets. An editor edits a passage of text. Editors display a document. Editors are built from and inherit all features of Gadget line support. Editor gadget commands
( -- editor )
Getting and setting editor contents
The caret and mark
( quot: ( string -- ) -- gadget )
Editors edit documents: Documents