gpsautotime: Add missing settings.js

apps/gpsautotime/settings.js

@@ -0,0 +1,25 @@
+(function(back) {
+  var FILE = "gpsautotime.json";
+  // Load settings
+  var settings = Object.assign({
+    show: true,
+  }, require('Storage').readJSON(FILE, true) || {});
+
+  function writeSettings() {
+    require('Storage').writeJSON(FILE, settings);
+  }
+
+  // Show the menu
+  E.showMenu({
+    "" : { "title" : "GPS auto time" },
+    "< Back" : () => back(),
+    'Show widget?': {
+      value: !!settings.show,  // !! converts undefined to false
+      format: v => v?"Show":"Hide",
+      onchange: v => {
+        settings.show = v;
+        writeSettings();
+      }
+    },
+  });
+})