formats
|
Fit the extension placeholder into the template
|
2024-04-14 15:09:12 +02:00 |
GUI
|
Added "Open recent" menu
|
2023-11-15 01:24:39 +01:00 |
map
|
Distinguish peaks
|
2024-11-26 07:42:00 +01:00 |
symbols
|
Use the same color in the icon "alias"
|
2024-04-01 13:46:26 +02:00 |