| 
									
										
										
										
											2009-02-01 21:31:42 -05:00
										 |  |  | USING: dlists ui.gadgets ui.gadgets.private | 
					
						
							|  |  |  | kernel ui namespaces io.streams.string io ;
 | 
					
						
							| 
									
										
										
										
											2007-11-16 01:19:13 -05:00
										 |  |  | IN: tools.test.ui | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2008-05-05 03:19:25 -04:00
										 |  |  | ! We can't print to output-stream here because that might be a pane | 
					
						
							| 
									
										
										
										
											2007-11-16 01:19:13 -05:00
										 |  |  | ! stream, and our graft-queue rebinding here would be captured | 
					
						
							|  |  |  | ! by code adding children to the pane... | 
					
						
							|  |  |  | : with-grafted-gadget ( gadget quot -- )
 | 
					
						
							|  |  |  |     [ | 
					
						
							|  |  |  |         <dlist> \ graft-queue [ | 
					
						
							|  |  |  |             over
 | 
					
						
							|  |  |  |             graft notify-queued | 
					
						
							| 
									
										
										
										
											2008-05-22 16:45:30 -04:00
										 |  |  |             dip
 | 
					
						
							| 
									
										
										
										
											2007-11-16 01:19:13 -05:00
										 |  |  |             ungraft notify-queued | 
					
						
							|  |  |  |         ] with-variable
 | 
					
						
							| 
									
										
										
										
											2008-02-15 23:20:31 -05:00
										 |  |  |     ] with-string-writer print ;
 |