From d4a849b192c77ca77b3b2c84e40bee75b1668927 Mon Sep 17 00:00:00 2001 From: Alexander Iljin Date: Tue, 27 Dec 2016 01:18:01 +0300 Subject: [PATCH] ui.tools-docs: add a pointer to the file-drop gesture docs --- basis/ui/tools/tools-docs.factor | 16 +++++++++++----- 1 file changed, 11 insertions(+), 5 deletions(-) diff --git a/basis/ui/tools/tools-docs.factor b/basis/ui/tools/tools-docs.factor index dc820acb54..dbe0139e32 100644 --- a/basis/ui/tools/tools-docs.factor +++ b/basis/ui/tools/tools-docs.factor @@ -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." ;