From cd1112d2e4fa3eb8d9e0eba075a4e4596a035254 Mon Sep 17 00:00:00 2001
From: hughbarney <hughbarney@googlemail.com>
Date: Mon, 17 Jan 2022 22:00:24 +0000
Subject: [PATCH] Run: added settings menu, set pace and time format to mm:ss,
 h:mm:ss

---
 apps/run/settings.js | 44 ++++++++++++++++++++++++++++++++++++++++++++
 1 file changed, 44 insertions(+)
 create mode 100644 apps/run/settings.js

diff --git a/apps/run/settings.js b/apps/run/settings.js
new file mode 100644
index 000000000..882b15c71
--- /dev/null
+++ b/apps/run/settings.js
@@ -0,0 +1,44 @@
+(function(back) {
+  const SETTINGS_FILE = "run.json";
+
+  // initialize with default settings...
+  let s = {
+    'use_gps': true,
+    'use_hrm': true
+  }
+
+  // ...and overwrite them with any saved values
+  // This way saved values are preserved if a new version adds more settings
+  const storage = require('Storage')
+  let settings = storage.readJSON(SETTINGS_FILE, 1) || {}
+  const saved = settings || {}
+  for (const key in saved) {
+    s[key] = saved[key]
+  }
+
+  function save() {
+    settings = s
+    storage.write(SETTINGS_FILE, settings)
+  }
+
+  E.showMenu({
+    '': { 'title': 'Run' },
+    '< Back': back,
+    'Use GPS': {
+      value: s.use_gps,
+      format: () => (s.use_gps ? 'Yes' : 'No'),
+      onchange: () => {
+        s.use_gps = !s.use_gps;
+        save();
+      },
+    },
+    'Use HRM': {
+      value: s.use_hrm,
+      format: () => (s.use_hrm ? 'Yes' : 'No'),
+      onchange: () => {
+        s.use_hrm = !s.use_hrm;
+        save();
+      },
+    }
+  })
+})