diff --git a/basis/ui/tools/common/common-docs.factor b/basis/ui/tools/common/common-docs.factor new file mode 100644 index 0000000000..d3b4dc0b88 --- /dev/null +++ b/basis/ui/tools/common/common-docs.factor @@ -0,0 +1,10 @@ +USING: classes help.markup help.syntax sequences ui.gadgets ; +IN: ui.tools.common + +HELP: set-tool-dim +{ $values { "dim" sequence } { "class" class } } +{ $description "Sets the preferred dimensions for instances of the given tool gadget class." } ; + +HELP: with-lines +{ $values { "track" gadget } } +{ $description "Lines are added to the track gadget to visually demarcate its children." } ; diff --git a/basis/ui/tools/listener/history/history-docs.factor b/basis/ui/tools/listener/history/history-docs.factor new file mode 100644 index 0000000000..dceee18ea7 --- /dev/null +++ b/basis/ui/tools/listener/history/history-docs.factor @@ -0,0 +1,6 @@ +USING: help.markup help.syntax io.styles ; +IN: ui.tools.listener.history + +HELP: history-add +{ $values { "history" history } { "input" input } } +{ $description "Adds the historys documents current value to the history." } ;