| 
									
										
										
										
											2016-07-04 22:46:43 +02:00
										 |  |  | from flask_babel import gettext | 
					
						
							| 
									
										
										
										
											2016-04-23 18:26:02 +02:00
										 |  |  | 
 | 
					
						
							|  |  |  | name = gettext('Vim-like hotkeys') | 
					
						
							| 
									
										
										
										
											2021-12-27 09:26:22 +01:00
										 |  |  | description = gettext( | 
					
						
							|  |  |  |     'Navigate search results with Vim-like hotkeys ' | 
					
						
							|  |  |  |     '(JavaScript required). ' | 
					
						
							|  |  |  |     'Press "h" key on main or result page to get help.' | 
					
						
							|  |  |  | ) | 
					
						
							| 
									
										
										
										
											2016-04-23 18:26:02 +02:00
										 |  |  | default_on = False | 
					
						
							| 
									
										
										
										
											2019-01-06 18:38:51 +01:00
										 |  |  | preference_section = 'ui' |