b9986f0b42
Scale street labels depending on zoom level
2020-04-20 17:57:49 +02:00
be16cf2f6e
Automatically disable anti-aliasing on high zoom levels
2020-04-20 00:02:28 +02:00
b2958f15d7
Remove debug code
2020-04-19 23:29:16 +02:00
9bac7e4678
Highlight search result streets in red
2020-04-19 23:28:54 +02:00
bfaacd813b
Add street names to search
2020-04-19 23:09:26 +02:00
6a86056a87
Fix x/y axis in get_current_location_str
2020-04-19 21:04:24 +02:00
a598403c5f
Fix typo
2020-04-19 20:36:58 +02:00
4c7590a212
Only display search results
2020-04-19 20:21:13 +02:00
e1baa251fb
Fix Firefox compatibility once more
2020-04-19 20:12:57 +02:00
d1e0c3fffa
Fix x/y swap in jump_to function
2020-04-19 20:12:39 +02:00
b58a02bf4a
Fix x/y axis in goto command
2020-04-19 17:07:07 +02:00
8d5fc922d1
Fix goto function in editor mode
2020-04-19 17:00:01 +02:00
2e790adc90
Implement basic search
2020-04-19 12:56:02 +02:00
255e81ce9f
Improve location history
...
Before, script initiated moves would mess with the
history through hash updates partway through the move.
This commit fixes this behavior by checking for a
human source.
2020-04-19 10:45:26 +02:00
354ca8d1d7
Center map on marker when clicking it
2020-04-19 09:12:37 +02:00
0859324a46
Add jump-to-coordinates feature and location history
2020-04-19 09:12:17 +02:00
657867309e
Improve center-on-block feature
...
6284c9d8b4
introduced a feature to
center coordinate data on blocks by shifting the actual waypoints.
The problem with that approach is that it actually changes the
coordinates returned by any subsequent query to that geojson entry,
leading to coordinates like [0.5, 0.5] instead of [0, 0].
This commit removes the old translation code and instead shifts the
entire map. This means waypoints are still correct, and only the
visuals are affected. The correctness of new coordinate mapping has
been verified in-game and using the origin marker.
2020-04-19 07:38:41 +02:00
6284c9d8b4
Center markers etc. on block
...
Before, markers were set to the bottom left corner of a block.
Now, it is nicely centered even on high zoom levels.
2020-04-18 12:35:36 +02:00
828e1edf28
Add streets Geojson
2020-04-17 22:00:50 +02:00
3d0e8ae95d
Fail Geojson load silently
2020-04-17 22:00:36 +02:00
de3a4fc757
Add street editor
...
Accessible by setting ?editor
2020-04-17 21:47:12 +02:00
e0970aacb9
backend: Add support for streets
2020-04-17 16:43:34 +02:00
7b65ef6ee4
Fix formatting
2020-04-17 16:20:22 +02:00
Gabriel Pérez-Cerezo
88feb87009
unify fetch scripts, add a lot more categories
2020-04-15 14:50:50 +02:00
Gabriel Pérez-Cerezo
fa39762e5e
Fixed typo
2020-04-15 13:20:28 +02:00
Gabriel Pérez-Cerezo
19435b1d99
Fancy icons, shops, stations
...
Added fancy actions (TODO: include script to install)
* added fetcher script for shops
* added fetcher script for stations
* fixed thumbnails
2020-04-15 01:08:31 +02:00