ui.tools.*: new docs
parent
e73337fe55
commit
9ba5419bef
|
@ -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." } ;
|
|
@ -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." } ;
|
Loading…
Reference in New Issue