From 0c2275167423c51e229b439a09e4cdb53082f6f4 Mon Sep 17 00:00:00 2001 From: Slava Pestov Date: Wed, 28 Jan 2009 14:50:15 -0600 Subject: [PATCH] Update editor docs --- basis/ui/gadgets/editors/editors-docs.factor | 34 +++++++++++++------- 1 file changed, 22 insertions(+), 12 deletions(-) diff --git a/basis/ui/gadgets/editors/editors-docs.factor b/basis/ui/gadgets/editors/editors-docs.factor index b3a25a5cc1..d9ca218e59 100644 --- a/basis/ui/gadgets/editors/editors-docs.factor +++ b/basis/ui/gadgets/editors/editors-docs.factor @@ -81,20 +81,30 @@ ARTICLE: "gadgets-editors-selection" "The caret and mark" { $subsection scroll>caret } "Use " { $link user-input* } " to change selected text." ; -ARTICLE: "gadgets-editors" "Editor gadgets" -"The " { $vocab-link "ui.gadgets.editors" } " vocabulary implements editor gadgets. An editor edits a passage of text." -{ $command-map editor "general" } -{ $command-map editor "caret-motion" } -{ $command-map editor "selection" } -{ $command-map multiline-editor "multiline" } -{ $heading "Editor words" } -{ $subsection editor } -{ $subsection } -{ $subsection } +ARTICLE: "gadgets-editors-contents" "Getting and setting editor contents" { $subsection editor-string } { $subsection set-editor-string } +{ $subsection clear-editor } ; + +ARTICLE: "gadgets-editors-commands" "Editor gadget commands" +{ $command-map editor "editing" } +{ $command-map editor "caret-motion" } +{ $command-map editor "selection" } +{ $command-map multiline-editor "multiline" } ; + +ARTICLE: "gadgets-editors" "Editor gadgets" +"The " { $vocab-link "ui.gadgets.editors" } " vocabulary implements editor gadgets. An editor edits a passage of text." +{ $subsection "gadgets-editors-commands" } +"Editors:" +{ $subsection editor } +{ $subsection } +{ $subsection "gadgets-editors-contents" } { $subsection "gadgets-editors-selection" } -{ $subsection "documents" } -{ $subsection "document-locs-elts" } ; +"Multiline editors:" +{ $subsection } +"Fields:" +{ $subsection } +{ $subsection } +{ $subsection "documents" } ; ABOUT: "gadgets-editors"