|
|
785f57262e
|
Further cleanup: further removal of the UIElement
|
2021-06-28 00:45:49 +02:00 |
|
|
|
8e72b70742
|
Fix deployment, fix documentation generation, add a small markdown generator
|
2021-06-15 00:28:59 +02:00 |
|
|
|
3943100e54
|
More refactoring, stuff kindoff works
|
2021-06-12 02:58:32 +02:00 |
|
|
|
6415e195d1
|
Butchering the UI framework
|
2021-06-10 01:36:20 +02:00 |
|
|
|
322f706e68
|
Small improvement in geolocation handling
|
2021-05-29 20:30:36 +02:00 |
|
|
|
a7c98086be
|
Zoom in when the location is known and the button is pressed
|
2021-05-28 12:33:06 +02:00 |
|
|
|
6763c682ab
|
Do not zoom to location if it is out of the map bounds
|
2021-05-27 18:55:37 +02:00 |
|
|
|
4bb92bc849
|
Small changes to the geolocation handler
|
2021-05-19 12:31:09 +02:00 |
|
|
|
85fa3886aa
|
Small tweaks
|
2021-05-18 19:48:20 +02:00 |
|
|
|
a0b909e8a6
|
Fixes to popup handling and to broken styles
|
2021-02-25 02:23:26 +01:00 |
|
|
|
1f6c19402b
|
Better geolocation handling
|
2021-02-21 04:04:39 +01:00 |
|
|
|
604d7863fe
|
Add bigger zoom-in and zoom-out button, move attribution to button on small screens
|
2021-02-21 03:38:12 +01:00 |
|
|
|
778044d0fb
|
More refactoring, stabilizing rotation and direction_gradient
|
2021-01-04 04:06:21 +01:00 |
|
|
|
6ac8ec84e4
|
More refactoring!
|
2021-01-03 00:19:42 +01:00 |
|
|
|
7a7b34b0fa
|
Further refactoring
|
2021-01-02 21:03:40 +01:00 |
|
