Merge branch 'espruino:master' into master

pull/947/head
Peer David 2021-11-25 18:52:23 +01:00 committed by GitHub
commit 4a5303714d
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
2 changed files with 36 additions and 1 deletions

35
apps/messages/settings.js Normal file
View File

@ -0,0 +1,35 @@
(function(back) {
function settings() {
let settings = require('Storage').readJSON("messages.settings.json", true) || {};
if (settings.vibrate===undefined) settings.vibrate=".";
if (settings.repeat===undefined) settings.repeat=4;
return settings;
}
function updateSetting(setting, value) {
let settings = require('Storage').readJSON("messages.settings.json", true) || {};
settings[setting] = value;
require('Storage').writeJSON("messages.settings.json", settings);
}
var vibPatterns = ["Off", ".", "-", "--", "-.-", "---"];
var currentVib = settings().vibrate;
var mainmenu = {
"" : { "title" : "Messages" },
"< Back" : back,
'Vibrate': {
value: Math.max(0,vibPatterns.indexOf(settings().vibrate)),
min: 0, max: vibPatterns.length,
format: v => vibPatterns[v]||"Off",
onchange: v => {
updateSetting("vibrate", vibPatterns[v]);
}
},
'Repeat': {
value: settings().repeat,
min: 2, max: 10,
format: v => v+"s",
onchange: v => updateSetting("repeat", v)
},
};
E.showMenu(mainmenu);
})

2
core

@ -1 +1 @@
Subproject commit 996299a285c95136ad0049febb5399ee837c42d3
Subproject commit 50aa45f13f06cc2f40684971d4c0a68d061b1f3c