Explorar o código

allow disabling settings for regular saves

Gildas hai 1 ano
pai
achega
2b79acee3d
Modificáronse 1 ficheiros con 2 adicións e 0 borrados
  1. 2 0
      src/ui/bg/ui-options.js

+ 2 - 0
src/ui/bg/ui-options.js

@@ -897,6 +897,8 @@ async function refresh(profileName) {
 	optionElement = document.createElement("option");
 	optionElement.value = DISABLED_PROFILE_NAME;
 	optionElement.textContent = browser.i18n.getMessage("profileDisabled");
+	ruleEditProfileInput.appendChild(optionElement.cloneNode(true));
+	ruleProfileInput.appendChild(optionElement.cloneNode(true));
 	ruleAutoSaveProfileInput.appendChild(optionElement);
 	ruleEditAutoSaveProfileInput.appendChild(optionElement.cloneNode(true));
 	const rulesDataElement = rulesElement.querySelector(".rules-data");