| 
									
										
										
										
											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." } ;
 |