]> gitweb.factorcode.org Git - factor.git/commitdiff
ui.tools.listener: remove comment about readline bindings.
authorJohn Benediktsson <mrjbq7@gmail.com>
Wed, 31 Mar 2021 03:37:33 +0000 (20:37 -0700)
committerJohn Benediktsson <mrjbq7@gmail.com>
Wed, 31 Mar 2021 03:37:33 +0000 (20:37 -0700)
basis/ui/tools/listener/listener-docs.factor

index 7535771fa144036c01b81c11aecd9ff5a431a84d..9eefe7a11fbc6463b8facb2316751e38ea3e3316 100644 (file)
@@ -49,7 +49,7 @@ $nl
 { $operations T{ vocab-link f "kernel" } }
 { $command-map interactor "quotation" }
 { $heading "Editing commands" }
-"The text editing commands are standard; see " { $link "gadgets-editors-commands" } ", which include Readline style keybindings."
+"The text editing commands are standard; see " { $link "gadgets-editors-commands" } "."
 $nl
 { $heading "Implementation" }
 "Listeners are instances of " { $link listener-gadget } ". The listener consists of an output area (instance of " { $link pane } ") and an input area (instance of " { $link interactor } "). Clickable presentations can also be printed to the listener; see " { $link "ui-presentations" } "." ;