15 Commits

Author	SHA1	Message	Date
Juergen E. Fischer	7787803109	use https for developersmap	2025-06-06 15:53:33 +02:00
pathmapper	b9cc755b6c	Upgrade Leaflet to v1.9.4	2024-06-25 05:44:40 +10:00
pathmapper	111b5a7c6d	Small adjustments	2023-01-09 12:03:50 +10:00
pathmapper	7a5a13af57	Use recommended osm tile url	2023-01-09 12:03:50 +10:00
pathmapper	9bcce8d9c7	Remove optional Leaflet attribution prefix	2023-01-09 12:03:50 +10:00
pathmapper	361faa9224	Update Leaflet to latest release	2023-01-09 12:03:50 +10:00
Salvatore Larosa	8955684180	Fix the developers map in about dialog	2018-08-28 09:01:40 +10:00
gacarrillor	70cb249595	Developers map: remove Name and Status terms	2017-11-03 09:44:03 -05:00
gacarrillor	081f00e731	Developers map: Link to GIT account for each dev	2017-11-03 08:51:15 -05:00
gacarrillor	09f9bb76cc	Developers map: more descriptive status for each dev	2017-11-03 08:44:04 -05:00
Matthias Kuhn	9639fc6664	Fix developers map background loading ... Fix #12831 Workaround for https://github.com/Leaflet/Leaflet/issues/2021	2015-05-27 14:50:07 +02:00
Salvatore Larosa	f852e05dac	increases slightly the zoom of the developers map in about box	2015-02-22 19:23:32 +01:00
Salvatore Larosa	2aa2292156	[developers map] add to popup whether developer is committer	2014-12-24 17:47:30 +01:00
Salvatore Larosa	d4c97fa241	[developers map] change tilelayer to openstreetmap	2014-12-21 21:57:51 +01:00
Salvatore Larosa	9952fc8aa6	Add Developers Map in About dialog	2014-12-21 21:56:41 +01:00