2022-07-12 07:25:27 +00:00
|
|
|
(function(back) {
|
|
|
|
function writeSettings(key, value) {
|
|
|
|
var s = require('Storage').readJSON(FILE, true) || {};
|
|
|
|
s[key] = value;
|
|
|
|
require('Storage').writeJSON(FILE, s);
|
|
|
|
readSettings();
|
|
|
|
}
|
|
|
|
|
|
|
|
function readSettings() {
|
|
|
|
settings = Object.assign(
|
|
|
|
require('Storage').readJSON("widgps.default.json", true) || {},
|
|
|
|
require('Storage').readJSON(FILE, true) || {});
|
|
|
|
}
|
|
|
|
|
|
|
|
var FILE = "widgps.json";
|
|
|
|
var settings;
|
|
|
|
readSettings();
|
|
|
|
|
|
|
|
var mainmenu = {
|
|
|
|
'' : {'title' : 'GPS widget'},
|
|
|
|
'< Back' : back,
|
|
|
|
"Cross icon" : {
|
2022-08-10 22:12:11 +00:00
|
|
|
value : settings.crossIcon ,
|
2022-07-12 07:25:27 +00:00
|
|
|
onchange : v => { writeSettings("crossIcon", v); }
|
|
|
|
},
|
2022-08-10 21:39:43 +00:00
|
|
|
"Hide icon when GPS off" : {
|
2022-08-10 22:12:11 +00:00
|
|
|
value : settings.hideWhenGpsOff ,
|
2022-08-10 21:39:43 +00:00
|
|
|
onchange : v => { writeSettings("hideWhenGpsOff", v); }
|
|
|
|
},
|
2022-07-12 07:25:27 +00:00
|
|
|
};
|
|
|
|
E.showMenu(mainmenu);
|
2024-10-28 19:16:14 +00:00
|
|
|
})
|