waypoints: use different name for marks vs. added waypoints

master
Pavel Machek 2024-11-22 13:04:08 +01:00
parent d782914f88
commit 8cf4fe4705
1 changed files with 1 additions and 1 deletions

View File

@ -419,7 +419,7 @@ function confirmGps(s) {
function markGps() {
cancel_gps = false;
gps.start_gps();
require("textinput").input({text:"wp"}).then(key => {
require("textinput").input({text:"mk"}).then(key => {
confirmGps(key);
});
}