X-Git-Url: https://gitweb.factorcode.org/gitweb.cgi?p=factor.git;a=blobdiff_plain;f=basis%2Fui%2Fgadgets%2Feditors%2Feditors-docs.factor;h=927e50682496b31a70f920b773531ea00a3f80af;hp=180d5c46fc8f35bf7061aa5d002c65776ad34949;hb=ce7ac93667de16e9206a2140941b67a66886d117;hpb=b6f1ad5736214af111990fd791388de3be919d3b diff --git a/basis/ui/gadgets/editors/editors-docs.factor b/basis/ui/gadgets/editors/editors-docs.factor index 180d5c46fc..927e506824 100644 --- a/basis/ui/gadgets/editors/editors-docs.factor +++ b/basis/ui/gadgets/editors/editors-docs.factor @@ -33,6 +33,29 @@ HELP: { 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." } ;