Update 7x7dotsclock.settings.js

master
pkkpp 2022-02-17 17:35:38 +01:00 committed by GitHub
parent 6e898cadee
commit dc28942d83
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 3 additions and 2 deletions

View File

@ -24,7 +24,8 @@ function setSetting(key,value) {
print("storing settings 7x7dotsclock.json");
storage.write('7x7dotsclock.json', settings);
}
function showSelAppMenu(key) {
var Apps = require("Storage").list(/\.info$/)
.map(app => {var a=storage.readJSON(app, 1);return (
@ -43,7 +44,7 @@ function showSelAppMenu(key) {
};
Apps.forEach((app, index) => {
var label = app.name;
if ((settings[key] && index === 0) || (settings[key] === app.src)) {
if (settings[key] === app.src) {
label = "* " + label;
}
SelAppMenu[label] = () => {