|  Noémi Ványi | 33e139cae6
							
							Let admins lock user preferences | 5 years ago | 
				
					
						|  Adam Tauber | c54a0e81ff
							
							[enh] add shortcut column to search engines table in preferences - fixes #230 | 5 years ago | 
				
					
						|  Noémi Ványi | b63d645a52
							
							Revert "remove 'all' option from search languages" | 6 years ago | 
				
					
						|  marc | 4d1770398a
							
							remove 'all' option from search languages | 8 years ago | 
				
					
						|  marc | 149802c569
							
							[enh] add supported_languages on engines and auto-generate languages.py | 9 years ago | 
				
					
						|  Adam Tauber | bee7b497a3
							
							[mod] rename "default" theme to "legacy" | 9 years ago |