From 8cf4fe4705c31e8cafe948ab528b4b540dd77cea Mon Sep 17 00:00:00 2001
From: Pavel Machek <pavel@ucw.cz>
Date: Fri, 22 Nov 2024 13:04:08 +0100
Subject: [PATCH] waypoints: use different name for marks vs. added waypoints

---
 apps/waypoints/waypoints.app.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/apps/waypoints/waypoints.app.js b/apps/waypoints/waypoints.app.js
index 7ac24cc34..b960614cf 100644
--- a/apps/waypoints/waypoints.app.js
+++ b/apps/waypoints/waypoints.app.js
@@ -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);
   });
 }