#48 Added types for settings scripts

This commit is contained in:
Serraniel 2020-12-28 23:22:47 +01:00
parent 36b12f5397
commit a743cc9897
Signed by: Serraniel
GPG key ID: 3690B4E7364525D3

View file

@ -5,25 +5,28 @@ const OPTION_SELECTOR = 'input[type="checkbox"';
function storeOptions() {
document.querySelectorAll(OPTION_SELECTOR).forEach(optionElement => {
getGlobalStorageProvider().setDataAsBoolean(optionElement.id, optionElement.checked);
let optionInputElement = optionElement as HTMLInputElement;
getGlobalStorageProvider().setDataAsBoolean(optionInputElement.id, optionInputElement.checked);
});
}
function restoreOptions() {
document.querySelectorAll(OPTION_SELECTOR).forEach(optionElement => {
let defaultValue = optionElement.dataset.defaultValue === 'true' ? true : false;
let optionInputElement = optionElement as HTMLInputElement;
let defaultValue = optionInputElement.dataset.defaultValue === 'true' ? true : false;
getGlobalStorageProvider().getDataAsBoolean(optionElement.id, defaultValue, value => {
optionElement.checked = value;
getGlobalStorageProvider().getDataAsBoolean(optionInputElement.id, defaultValue, value => {
optionInputElement.checked = value;
});
});
}
function resetOptions() {
document.querySelectorAll(OPTION_SELECTOR).forEach(optionElement => {
let defaultValue = optionElement.dataset.defaultValue === 'true' ? true : false;
let optionInputElement = optionElement as HTMLInputElement;
let defaultValue = optionInputElement.dataset.defaultValue === 'true' ? true : false;
optionElement.checked = defaultValue;
optionInputElement.checked = defaultValue;
});
}