|
|
09507b3537
|
Fix typo which prevented updating the selected element, improve comments and typings
|
2023-01-03 23:45:04 +01:00 |
|
|
|
43613e4ece
|
Add hotkeys, document hotkeys, make 'DefaultGUI' runnable via NodeJS, generate hotkey documentation
|
2022-12-24 03:44:21 +01:00 |
|
|
|
494a49bc48
|
Switch to a panel based UI, fix #552
|
2022-12-08 02:56:49 +01:00 |
|
|
|
b541d3eab4
|
Reformat all files with prettier
|
2022-09-08 21:40:48 +02:00 |
|
|
|
6ae8ec8036
|
Add 'add new note' functionality, fix bug where 'test'-theme comes up when deleting images
|
2022-01-14 01:41:19 +01:00 |
|
|
|
bd21212eba
|
Full code cleanup
|
2021-11-07 16:34:51 +01:00 |
|
|
|
b8abbc9505
|
More refactoring to fix the tests
|
2021-10-15 14:52:11 +02:00 |
|
|
|
78d6482c88
|
Add binoculars theme, auto reformat everything
|
2021-09-09 00:06:21 +02:00 |
|
|
|
f4ea36de9a
|
Usability of adding a new point: if not zoomed in sufficiently, the map will zoom to the new-location marker
|
2021-08-22 20:23:13 +02:00 |
|
|
|
3c73dfd6b2
|
Update of the 'addNewMarker': show icons, show plus button, show label
|
2021-08-22 18:48:38 +02:00 |
|
|
|
219895191d
|
Disable adding new elements-popup if the userbadge is disabled; add small cosmetic changes
|
2021-07-18 21:48:11 +02:00 |
|
|
|
9cc721abad
|
More refactoring and fixes
|
2021-06-14 02:39:23 +02:00 |
|
|
|
a0b909e8a6
|
Fixes to popup handling and to broken styles
|
2021-02-25 02:23:26 +01:00 |
|
|
|
00f610c589
|
Refactoring fullscreenhandling
|
2021-01-25 03:12:09 +01:00 |
|
|
|
7f1b78198a
|
Cleaning away fullscreenmessage
|
2021-01-22 00:40:15 +01:00 |
|
|
|
2f57010202
|
Fix back button; add title
|
2021-01-08 18:02:07 +01:00 |
|
|
|
778044d0fb
|
More refactoring, stabilizing rotation and direction_gradient
|
2021-01-04 04:06:21 +01:00 |
|
|
|
e42a668c4a
|
More refactoring: using a decent, configurable datapipeline now
|
2021-01-03 03:09:52 +01:00 |
|
|
|
6ac8ec84e4
|
More refactoring!
|
2021-01-03 00:19:42 +01:00 |
|
|
|
7a7b34b0fa
|
Further refactoring
|
2021-01-02 21:03:40 +01:00 |
|
