]> gitweb.factorcode.org Git - factor.git/blobdiff - basis/ui/gadgets/editors/editors-docs.factor
Block caret code
[factor.git] / basis / ui / gadgets / editors / editors-docs.factor
index 180d5c46fc8f35bf7061aa5d002c65776ad34949..927e50682496b31a70f920b773531ea00a3f80af 100644 (file)
@@ -33,6 +33,29 @@ HELP: <editor>
 
 { editor-caret editor-mark } related-words
 
+HELP: caret-is-shape
+{ $description
+  "Shape is defined as line, box, or filled box"
+}
+$nl
+{ $code
+"  IN: ui.gadgets.editors"
+"  2 caret-is-shape set"
+""
+} print-element
+$nl
+{ $table
+  { "Value" "Shape" }
+  { "f" "default (line)" }
+  { "0" "line" }
+  { "1" "box" }
+  { "2" "filled box" }
+} print-element
+
+{ $references   "Set desired shape in your .factor-rc file" 
+ "rc-files" }
+    ;
+
 HELP: editor-caret
 { $values { "editor" editor } { "loc" "a pair of integers" } }
 { $description "Outputs the current caret location as a line/column number pair." } ;