From 480d5b22fdc58aec785d94951b45cc519d3d790d Mon Sep 17 00:00:00 2001 From: Dimava Date: Fri, 29 May 2020 17:09:34 +0300 Subject: [PATCH] actually disable disabled settings --- src/js/profile/setting_types.js | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/src/js/profile/setting_types.js b/src/js/profile/setting_types.js index fbf12449..33a7b25d 100644 --- a/src/js/profile/setting_types.js +++ b/src/js/profile/setting_types.js @@ -167,6 +167,9 @@ export class EnumSetting extends BaseSetting { })), }); optionSelected.add(value => { + if (!this.enabled) { + return; + } this.app.settings.updateSetting(this.id, value); this.syncValueToElement(); @@ -212,6 +215,9 @@ export class BoolSetting extends BaseSetting { } modify() { + if (!this.enabled) { + return; + } const newValue = !this.app.settings.getSetting(this.id); this.app.settings.updateSetting(this.id, newValue); this.syncValueToElement();