Update settings.js

master
Hilmar Strauch 2022-01-27 21:55:01 +01:00 committed by GitHub
parent 22c30219a1
commit 6718b4317f
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 12 additions and 2 deletions

View File

@ -10,10 +10,10 @@
var colnames = ["white", "yellow", "green", "cyan", "red", "orange", "magenta", "black"];
var colvalues = [0xFFFF, 0xFFE0, 0x07E0, 0x07FF, 0xF800, 0xFD20, 0xF81F, 0x0000];
var chimenames = ["off", "buzz", "beep"];
// Show the menu
E.showMenu({
"" : { "title" : "VectorClock colours" },
"< Back" : () => back(),
"" : { "title" : "VectorClock settings" },
'Time': {
value: Math.max(0 | colvalues.indexOf(settings.timecol),0),
min: 0, max: colvalues.length-1,
@ -41,5 +41,15 @@
writeSettings();
}
},
'Chimetype': {
value: Math.max(0 | chimenames.indexOf(settings.chimetype),0),
min: 0, max: chimenames.length-1,
format: v => chimenames[v],
onchange: v => {
settings.chimetype = chimenames[v];
writeSettings();
}
},
"< Back" : () => back(),
});
})