2022-05-02 05:29:09 +00:00
|
|
|
(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(),
|
2022-11-01 05:56:09 +00:00
|
|
|
'Show Widget': {
|
2022-06-18 20:08:51 +00:00
|
|
|
value: !!settings.show,
|
2022-05-02 05:29:09 +00:00
|
|
|
onchange: v => {
|
|
|
|
settings.show = v;
|
|
|
|
writeSettings();
|
|
|
|
}
|
|
|
|
},
|
|
|
|
});
|
|
|
|
})
|