library/ui/text/editor.facts

   1 IN: gadgets-text
   2 USING: help gadgets ;
   3
   4 HELP: editor
   5 { $class-description "Instances of this class are multi-line text editors which edit an underlying " { $link document } " model."
   6 $terpri
   7 "The " { $link interactor } " gadget is built off the " { $link editor } " gadget and is used by the " { $link "ui-listener" } "." }
   8 { $heading "General commands" }
   9 { $commands editor "editing" }
  10 { $heading "Caret motion commands" }
  11 { $commands editor "caret" }
  12 { $heading "Selection commands" }
  13 { $commands editor "selection" } ;