Benjamin Tan
							
						 
					 | 
					
						
						
							
						
						18e7dd2173
					 | 
					
						
						
							
							Cleanup code style.
						
						
						
						
						
						
					 | 
					
						2018-02-08 11:22:01 +08:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Jens Lechtenbörger
							
						 
					 | 
					
						
						
							
						
						1002d39e7c
					 | 
					
						
						
							
							Register search key shortcut for help overlay
						
						
						
						
						
						
					 | 
					
						2017-11-05 17:45:18 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Hakim El Hattab
							
						 
					 | 
					
						
						
							
						
						a781b6a22b
					 | 
					
						
						
							
							clear existing matches when searching for empty string #1909
						
						
						
						
						
						
					 | 
					
						2017-06-19 09:43:29 +02:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								linux-man
							
						 
					 | 
					
						
						
							
						
						e3a3d3aa0a
					 | 
					
						
						
							
							Better Search
						
						
						
						
						
						
						
						Open/close with Control+Shift+f
Find words inside SPAN
Don't duplicate findings 
						
						
					 | 
					
						2017-05-21 19:00:12 +01:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Hakim El Hattab
							
						 
					 | 
					
						
						
							
						
						13046a0337
					 | 
					
						
						
							
							merge search plugin, adjust styles
						
						
						
						
						
						
					 | 
					
						2013-03-08 19:48:30 -05:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Jon Snyder
							
						 
					 | 
					
						
						
							
						
						329ae0fd43
					 | 
					
						
						
							
							include search button icon
						
						
						
						
						
						
						
						embed a generic search button icon. 
						
						
					 | 
					
						2013-03-04 16:42:23 -08:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 | 
				
			
				
					
						
							
							
								 
								Jon Snyder
							
						 
					 | 
					
						
						
							
						
						8d61a112ff
					 | 
					
						
						
							
							search plugin
						
						
						
						
						
						
					 | 
					
						2013-02-11 15:34:31 -08:00 | 
					
					
						
						
						
							
							
							
							
							
							
							
							
						
					 |