Update settings.js

master
thyttan 2022-05-11 18:21:20 +02:00 committed by GitHub
parent 24634330a5
commit da2aaaf16d
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 4 additions and 4 deletions

View File

@ -21,11 +21,11 @@
format: v => v,
onchange: v => updateSetting("charTimeout", v),
},
/*LANG*/'Show help on first launch': {
value: !!settings().firstLaunch,
/*LANG*/'Show help button': {
value: !!settings().showHelpBtn,
format: v => v?"Yes":"No",
onchange: v => updateSetting("firstLaunch", v)
onchange: v => updateSetting("showHelpBtn", v)
}
};
E.showMenu(mainmenu);
})
})