| .. | 
			
		
		
			
			
			
			
				| 
					
						
							
								
								
								
									
									
									
										backend
									
								
							
						
					
				 | 
				
					
						
							
							core, basis, extra: Remove DOS line endings from files.
						
					
				 | 
				2015-06-29 17:25:40 -07:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								
								
									
									
									
										baseline-alignment
									
								
							
						
					
				 | 
				
					
						
							
							core, basis, extra: Remove DOS line endings from files.
						
					
				 | 
				2015-06-29 17:25:40 -07:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								
								
									
									
									
										clipboards
									
								
							
						
					
				 | 
				
					
						
							
							improve help by linking to types directly.
						
					
				 | 
				2014-05-23 20:20:15 -07:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								
								
									
									
									
										commands
									
								
							
						
					
				 | 
				
					
						
							
							core, basis, extra: Remove DOS line endings from files.
						
					
				 | 
				2015-06-29 17:25:40 -07:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								
								
									
									
									
										debugger
									
								
							
						
					
				 | 
				
					
						
							
							core, basis, extra: Remove DOS line endings from files.
						
					
				 | 
				2015-06-29 17:25:40 -07:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								
								
									
									
									
										event-loop
									
								
							
						
					
				 | 
				
					
						
							
							ui: rename windows to ui-windows
						
					
				 | 
				2015-06-10 15:36:35 -07:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								
								
									
									
									
										gadgets
									
								
							
						
					
				 | 
				
					
						
							
							core, basis, extra: Remove DOS line endings from files.
						
					
				 | 
				2015-06-29 17:25:40 -07:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								
								
									
									
									
										gestures
									
								
							
						
					
				 | 
				
					
						
							
							removing small and unnecessary files.
						
					
				 | 
				2014-11-29 17:24:42 -08:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								
								
									
									
									
										images
									
								
							
						
					
				 | 
				
					
						
							
							ui: specify two places where image-name tuples are expected.
						
					
				 | 
				2014-12-15 09:56:03 -08:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								
								
									
									
									
										operations
									
								
							
						
					
				 | 
				
					
						
							
							minor cleanup to some docs.
						
					
				 | 
				2015-05-13 16:09:14 -07:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								
								
									
									
									
										pens
									
								
							
						
					
				 | 
				
					
						
							
							core, basis, extra: Remove DOS line endings from files.
						
					
				 | 
				2015-06-29 17:25:40 -07:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								
								
									
									
									
										pixel-formats
									
								
							
						
					
				 | 
				
					
						
							
							core: Rename create to create-word, create-in to create-word-in.
						
					
				 | 
				2015-06-08 12:47:35 -07:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								
								
									
									
									
										render
									
								
							
						
					
				 | 
				
					
						
							
							removing small and unnecessary files.
						
					
				 | 
				2014-11-29 17:24:42 -08:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								
								
									
									
									
										text
									
								
							
						
					
				 | 
				
					
						
							
							core, basis, extra: Remove DOS line endings from files.
						
					
				 | 
				2015-06-29 17:25:40 -07:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								
								
									
									
									
										tools
									
								
							
						
					
				 | 
				
					
						
							
							core, basis, extra: Remove DOS line endings from files.
						
					
				 | 
				2015-06-29 17:25:40 -07:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								
								
									
									
									
										traverse
									
								
							
						
					
				 | 
				
					
						
							
							removing small and unnecessary files.
						
					
				 | 
				2014-11-29 17:24:42 -08:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								authors.txt
							
						
					
				 | 
				
					
						
							 … 
						
					
				 | 
				 | 
			
		
			
			
			
			
				| 
					
						
							
								
								summary.txt
							
						
					
				 | 
				
					
						
							 … 
						
					
				 | 
				 | 
			
		
			
			
			
			
				| 
					
						
							
								
								ui-docs.factor
							
						
					
				 | 
				
					
						
							
							ui: rename windows to ui-windows
						
					
				 | 
				2015-06-10 15:36:35 -07:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								ui.factor
							
						
					
				 | 
				
					
						
							
							ui: rename windows to ui-windows
						
					
				 | 
				2015-06-10 15:36:35 -07:00 |