Update settings.js

master
t0m1o1 2021-12-05 18:38:58 +00:00 committed by GitHub
parent c4ca5333ef
commit 137ebca328
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 3 additions and 2 deletions

View File

@ -1,5 +1,5 @@
// make sure to enclose the function in parentheses
(function(back) {
let settings = require('Storage').readJSON('launch.json',1)||{};
let fonts = g.getFonts();
function save(key, value) {
@ -21,4 +21,5 @@
onchange: (m) => {save('vectorsize', m)}
}
};
E.showMenu(appMenu)
E.showMenu(appMenu);
});