2016-07-29 18:42:42 -04:00
|
|
|
USING: classes help.markup help.syntax sequences ui.gadgets ;
|
|
|
|
IN: ui.tools.common
|
|
|
|
|
|
|
|
HELP: set-tool-dim
|
2016-07-30 12:16:29 -04:00
|
|
|
{ $values { "class" class } { "dim" sequence } }
|
2016-07-29 18:42:42 -04:00
|
|
|
{ $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." } ;
|