|  Alexandre Flament | 99aaf86b73
							
							[fix] offline engines: fix templates /stats and /preferences | 4 years ago | 
				
					
						|  Alexandre Flament | e83862c22f
							
							[themes] /preferences, reliablity: warning icons & error logs link | 4 years ago | 
				
					
						|  Markus Heiser | 8026ed0d37
							
							[mod] UI: engine pref-page, about toolbox: add link to stats | 4 years ago | 
				
					
						|  Alexandre Flament | 34bced29ae
							
							[mod] engine errors: link to the stats to create an github issue | 4 years ago | 
				
					
						|  Alexandre Flament | 7cfd8d900a
							
							[mod] oscar: /preferences , engines tab: report engine times | 4 years ago | 
				
					
						|  Markus Heiser | ebfd0eb2b7
							
							[fix] default_doi_resolver in preferences | 4 years ago | 
				
					
						|  Alexandre Flament | d648001688
							
							[mod] preferences: a tooltip is shown when the mouse is over the engine names | 4 years ago | 
				
					
						|  Alexandre Flament | 99e0651cea
							
							[mod] by default allow only HTTPS, not HTTP | 4 years ago | 
				
					
						|  Noémi Ványi | 3a63dfbdd7
							
							display if an engine does not support https | 4 years ago | 
				
					
						|  Noémi Ványi | 33e139cae6
							
							Let admins lock user preferences | 5 years ago | 
				
					
						|  Étienne Deparis | 89deb4fbcc
							
							[fix] Remove markup errors in simple template preferences file | 6 years ago | 
				
					
						|  Étienne Deparis | 21beb64a72
							
							Remove forgotten white spaces in templates/simple/preferences.html | 6 years ago | 
				
					
						|  Alex | 3ba0d0516e
							
							simple theme update | 7 years ago | 
				
					
						|  Alexandre Flament | 10a24bdc2c
							
							[enh] add simple theme (WIP) | 8 years ago |