Andrea Cardaci
							
						 
					 | 
					
						
						
							
						
						86e7f282e0
					 | 
					
						
						
							
							Make the function search to look for the prefix
						
						
						
						
						
						
					 | 
					
						2018-09-15 20:18:49 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Andrea Cardaci
							
						 
					 | 
					
						
						
							
						
						7d7bc72364
					 | 
					
						
						
							
							Improve UI and add function filter buttons
						
						
						
						
						
						
					 | 
					
						2018-09-15 20:03:56 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Andrea Cardaci
							
						 
					 | 
					
						
						
							
						
						97d0b2d66c
					 | 
					
						
						
							
							Mark functions matching the filter
						
						
						
						
						
						
					 | 
					
						2018-09-15 18:20:39 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Andrea Cardaci
							
						 
					 | 
					
						
						
							
						
						339f87a077
					 | 
					
						
						
							
							Allow to search for multiple functions
						
						
						
						
						
						
					 | 
					
						2018-09-15 16:06:56 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Andrea Cardaci
							
						 
					 | 
					
						
						
							
						
						e2433843b5
					 | 
					
						
						
							
							Indent and simplify HTML snippets
						
						
						
						
						
						
					 | 
					
						2018-05-29 21:52:10 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Andrea Cardaci
							
						 
					 | 
					
						
						
							
						
						feae2cd8d7
					 | 
					
						
						
							
							Fix binary search message
						
						
						
						
						
						
					 | 
					
						2018-05-29 21:39:49 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Andrea Cardaci
							
						 
					 | 
					
						
						
							
						
						a7685cbe9e
					 | 
					
						
						
							
							Polish home page layout
						
						
						
						
						
						
					 | 
					
						2018-05-29 21:32:26 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Andrea Cardaci
							
						 
					 | 
					
						
						
							
						
						0b90fa4c8f
					 | 
					
						
						
							
							Limit search by function to one function only
						
						
						
						
						
						
					 | 
					
						2018-05-29 12:22:33 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Andrea Cardaci
							
						 
					 | 
					
						
						
							
						
						4093161262
					 | 
					
						
						
							
							Clear filter by pressing escape
						
						
						
						
						
						
					 | 
					
						2018-05-29 12:10:30 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Andrea Cardaci
							
						 
					 | 
					
						
						
							
						
						a108890c1f
					 | 
					
						
						
							
							Avoid useless update of the search box on user input
						
						
						
						
						
						
					 | 
					
						2018-05-29 12:05:19 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Andrea Cardaci
							
						 
					 | 
					
						
						
							
						
						125f410e01
					 | 
					
						
						
							
							Refactor filtering allowing to link search results via URL hash
						
						
						
						
						
						
					 | 
					
						2018-05-29 11:52:46 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Andrea Cardaci
							
						 
					 | 
					
						
						
							
						
						9bc82744fd
					 | 
					
						
						
							
							Avoid search auto-focus for modifiers
						
						
						
						
						
						
					 | 
					
						2018-05-23 21:43:23 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Andrea Cardaci
							
						 
					 | 
					
						
						
							
						
						13ec00ddb5
					 | 
					
						
						
							
							Allow to filter by function
						
						
						
						
						
						
					 | 
					
						2018-05-23 16:00:31 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Emilio Pinna
							
						 
					 | 
					
						
						
							
						
						b81e57005a
					 | 
					
						
						
							
							First commit
						
						
						
						
						
						
					 | 
					
						2018-05-21 20:14:41 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 |