| 
					
						
							
								
								
								
									
									
									
										gadgets
									
								
							
						
					
				 | 
				
					
						
							
							update docs for help.lint checks.
						
					
				 | 
				2013-08-24 11:39:31 -07:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								
								
									
									
									
										gestures
									
								
							
						
					
				 | 
				
					
						
							
							Minor fix to make sure strings are produced.
						
					
				 | 
				2013-04-06 18:50:26 -07:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								
								
									
									
									
										pixel-formats
									
								
							
						
					
				 | 
				
					
						
							
							update docs for help.lint checks.
						
					
				 | 
				2013-08-24 11:39:31 -07:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								
								
									
									
									
										render
									
								
							
						
					
				 | 
				
					
						
							
							ui: change selected gadgets to a hash-set.
						
					
				 | 
				2013-03-10 16:13:30 -07:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								
								
									
									
									
										text
									
								
							
						
					
				 | 
				
					
						
							
							ui.text.core-text: fix jumping "def".
						
					
				 | 
				2012-12-11 08:06:02 -08:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								
								
									
									
									
										traverse
									
								
							
						
					
				 | 
				
					
						
							
							ui: change selected gadgets to a hash-set.
						
					
				 | 
				2013-03-10 16:13:30 -07:00 | 
			
		
			
			
			
			
				| 
					
						
							
								
								ui.factor
							
						
					
				 | 
				
					
						
							
							switch some vocabs to 4 spaces.
						
					
				 | 
				2013-07-24 14:52:09 -07:00 |