|
|
d04f56603e
|
Fix #1304
|
2023-02-07 02:11:17 +01:00 |
|
|
|
65bb91b97a
|
Hotkeys: translations, fix location lock on mobile
|
2022-12-28 00:37:48 +01:00 |
|
|
|
43613e4ece
|
Add hotkeys, document hotkeys, make 'DefaultGUI' runnable via NodeJS, generate hotkey documentation
|
2022-12-24 03:44:21 +01:00 |
|
|
|
e2419c19cd
|
Zoom to current location if it is in view
|
2022-12-24 02:12:22 +01:00 |
|
|
|
bd5e9903bd
|
Fixes to the geolocation flow
|
2022-12-23 15:52:22 +01:00 |
|
|
|
4de76136de
|
Refactor geolocation handler into multiple parts, fix lock behaviour
|
2022-12-22 04:13:52 +01:00 |
|
