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 |