Change link
parent
e4a0396550
commit
180c720747
|
@ -24,7 +24,7 @@ ARTICLE: "ui-listener" "UI listener"
|
||||||
{ $operations \ word }
|
{ $operations \ word }
|
||||||
{ $command-map interactor "quotation" }
|
{ $command-map interactor "quotation" }
|
||||||
{ $heading "Editing commands" }
|
{ $heading "Editing commands" }
|
||||||
"The text editing commands are standard; see " { $link "ui.gadgets.editors" } "."
|
"The text editing commands are standard; see " { $link "gadgets-editors-commands" } "."
|
||||||
{ $heading "Implementation" }
|
{ $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" } "." ;
|
"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" } "." ;
|
||||||
|
|
||||||
|
|
Loading…
Reference in New Issue