Update settings.js

Added font to settings
Changed scalevalue to vector font size
pull/924/head
t0m1o1 2021-11-26 04:37:15 +00:00 committed by GitHub
parent b0a2507977
commit 181a8dd45f
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 14 additions and 8 deletions

View File

@ -1,18 +1,24 @@
// make sure to enclose the function in parentheses // make sure to enclose the function in parentheses
(function(back) {
let settings = require('Storage').readJSON('launch.json',1)||{}; let settings = require('Storage').readJSON('launch.json',1)||{};
let fonts = g.getFonts();
function save(key, value) { function save(key, value) {
settings[key] = value; settings[key] = value;
require('Storage').write('launch.json',settings); require('Storage').write('launch.json',settings);
} }
const appMenu = { const appMenu = {
'': {'title': 'Launcher Settings'}, '': {'title': 'Launcher Settings'},
'< Back': back, '< Back': false,
'Scale Value': { 'Font': {
value: settings.scaleval || 1, value: settings.font || 2,
min:0.1,max:2,step:0.05,wrap:true, min:0, max:fonts.length-1, step:1,wrap:true,
onchange: (m) => {save('scaleval', m)} onchange: (m) => {save('font', fonts[m])},
} format: v => fonts[v]
},
'Vector font size': {
value: settings.vectorsize || 1,
min:10, max: 20,step:1,wrap:true,
onchange: (m) => {save('vectorsize', m)}
}
}; };
E.showMenu(appMenu) E.showMenu(appMenu)
})