| 
					
						
							
								
								
								
									
									
									
										baseline-alignment
									
								
							
						
					
				 | 
				
					
						
							
							more test IN: cleanup.
						
					
				 | 
				2018-02-15 09:20:01 -08:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								
								
									
									
									
										event-loop
									
								
							
						
					
				 | 
				
					
						
							
							ui: rename ui-windows to worlds.
						
					
				 | 
				2018-01-22 13:17:23 -08:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								
								
									
									
									
										gadgets
									
								
							
						
					
				 | 
				
					
						
							
							Revert Unnecessary Changes
						
					
				 | 
				2019-08-10 22:12:52 +09:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								
								
									
									
									
										gestures
									
								
							
						
					
				 | 
				
					
						
							
							Input Completion Improvements
						
					
				 | 
				2019-08-10 22:02:17 +09:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								
								
									
									
									
										operations
									
								
							
						
					
				 | 
				
					
						
							
							ui.operations: add docs for +secondary+.
						
					
				 | 
				2018-01-22 10:59:31 -08:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								
								
									
									
									
										pens
									
								
							
						
					
				 | 
				
					
						
							
							more test IN: cleanup.
						
					
				 | 
				2018-02-15 09:20:01 -08:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								
								
									
									
									
										render
									
								
							
						
					
				 | 
				
					
						
							
							more test IN: cleanup.
						
					
				 | 
				2018-02-15 09:20:01 -08:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								
								
									
									
									
										theme
									
								
							
						
					
				 | 
				
					
						
							
							pick a better caret color for the dark theme
						
					
				 | 
				2018-09-07 10:02:25 -07:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								
								
									
									
									
										tools
									
								
							
						
					
				 | 
				
					
						
							
							ui.tools.listener: use ?first.
						
					
				 | 
				2019-03-16 20:33:16 -07:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								
								
									
									
									
										traverse
									
								
							
						
					
				 | 
				
					
						
							
							ui.traverse: cleanup tests a little.
						
					
				 | 
				2017-10-25 19:00:47 -07:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								ui.factor
							
						
					
				 | 
				
					
						
							
							continuations[-docs]: add the finally word
						
					
				 | 
				2019-04-22 21:57:51 -07:00 |