2022-11-05 15:07:04 +00:00
|
|
|
(function(back) {
|
|
|
|
const SETTINGS_FILE = "primetimelato.json";
|
|
|
|
|
|
|
|
// initialize with default settings...
|
|
|
|
let s = {
|
2022-11-05 17:52:29 +00:00
|
|
|
'buzz_on_prime': true
|
2022-11-05 15:07:04 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
// ...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() {
|
2022-11-05 17:52:29 +00:00
|
|
|
settings = s;
|
|
|
|
storage.write(SETTINGS_FILE, settings);
|
2022-11-05 15:07:04 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
E.showMenu({
|
|
|
|
'': { 'title': 'Prime Time Lato' },
|
|
|
|
'< Back': back,
|
|
|
|
'Buzz on Prime': {
|
|
|
|
value: !!s.buzz_on_prime,
|
|
|
|
onchange: v => {
|
|
|
|
s.buzz_on_prime = v;
|
|
|
|
save();
|
|
|
|
},
|
|
|
|
}
|
|
|
|
})
|
|
|
|
})
|