Maps: Add MapsSettings with multiple tile providers options

This commit is contained in:
Bastiaan van der Plaat 2023-09-16 21:10:23 +02:00 committed by Andrew Kaster
commit aed25991e6
Notes: sideshowbarker 2024-07-16 20:21:48 +09:00
14 changed files with 379 additions and 15 deletions

View file

@ -24,7 +24,7 @@ public:
}
} else {
clear_markers();
clear_panels();
remove_panels_with_name("users"sv);
}
}