From 9ba5419bef2f90acf53b1f53214c45456454a5df Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Bj=C3=B6rn=20Lindqvist?= Date: Sat, 30 Jul 2016 00:42:42 +0200 Subject: [PATCH] ui.tools.*: new docs --- basis/ui/tools/common/common-docs.factor | 10 ++++++++++ basis/ui/tools/listener/history/history-docs.factor | 6 ++++++ 2 files changed, 16 insertions(+) create mode 100644 basis/ui/tools/common/common-docs.factor create mode 100644 basis/ui/tools/listener/history/history-docs.factor 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." } ;