|  | 652d617583 | Styling: theme view buttons | 2023-04-24 02:27:55 +02:00 |  | 
				
					
						|  | 4172af6a72 | Refactoring: fix delete indication, fix splitroad, fix addition of multiple new points snapped onto the same way (all will properly attach now) | 2023-04-20 17:42:07 +02:00 |  | 
				
					
						|  | 648a9e63c9 | Make hotkey documentation fully translatable | 2023-01-11 01:37:44 +01:00 |  | 
				
					
						|  | 54e0fbc256 | Include textarea in hotkey checks, remove logging | 2022-12-30 15:51:18 +01:00 |  | 
				
					
						|  | 65bb91b97a | Hotkeys: translations, fix location lock on mobile | 2022-12-28 00:37:48 +01:00 |  | 
				
					
						|  | 7b50e13ba9 | Add check: don't interpret keys if an input element is selected | 2022-12-24 16:08:08 +01:00 |  | 
				
					
						|  | 43613e4ece | Add hotkeys, document hotkeys, make 'DefaultGUI' runnable via NodeJS, generate hotkey documentation | 2022-12-24 03:44:21 +01:00 |  |