]> gitweb.factorcode.org Git - factor.git/commitdiff
ui.tools-docs: add a pointer to the file-drop gesture docs
authorAlexander Iljin <ajsoft@yandex.ru>
Mon, 26 Dec 2016 22:18:01 +0000 (01:18 +0300)
committerJohn Benediktsson <mrjbq7@gmail.com>
Mon, 22 Jan 2018 21:09:41 +0000 (13:09 -0800)
basis/ui/tools/tools-docs.factor

index dc820acb54608d004ffbfb43471d24f1a79f1339..dbe0139e3293dcb4b59157ecd44acbc50765e096 100644 (file)
@@ -1,8 +1,8 @@
 USING: editors help.markup help.syntax summary inspector io io.styles
 listener parser prettyprint tools.walker ui.commands
-ui.gadgets.panes ui.gadgets.presentations ui.operations
-ui.tools.operations ui.tools.common vocabs see
-help.tips ;
+ui.gadgets.panes ui.gadgets.presentations ui.gestures
+ui.operations ui.tools.operations ui.tools.common
+vocabs see help.tips ;
 IN: ui.tools
 
 ARTICLE: "starting-ui-tools" "Starting the UI tools"
@@ -41,9 +41,12 @@ $nl
 "Dropping a source file onto the Factor icon in the dock runs the source file in the listener."
 $nl
 "If you install " { $strong "Factor.app" } " in your " { $strong "Applications" } " folder, then other applications will be able to call Factor via the System Services feature. For example, you can select some text in " { $strong "TextEdit.app" } ", then invoke the " { $strong "TextEdit->Services->Factor->Evaluate Selection" } " menu item, which will replace the selected text with the result of evaluating it in Factor."
-
 ;
 
+ARTICLE: "ui-windows" "Functionality specific to Windows"
+"Files can be dropped from other applications onto the listener window to push their names onto the stack:"
+{ $subsections "filedrop-gestures" } ;
+
 ARTICLE: "ui-tools" "UI developer tools"
 "The " { $vocab-link "ui.tools" } " vocabulary hierarchy implements a collection of simple developer tools."
 { $subsections "starting-ui-tools" }
@@ -65,7 +68,10 @@ $nl
     "ui.tools.deploy"
 }
 "Platform-specific features:"
-{ $subsections "ui-cocoa" } ;
+{ $subsections
+    "ui-cocoa"
+    "ui-windows"
+} ;
 
 TIP: "All UI developer tools support a common set of " { $link "ui-shortcuts" } ". Each individual tool has its own shortcuts as well; the F1 key is context-sensitive." ;