diff --git a/chrome/content/zotero/preferences/preferences.js b/chrome/content/zotero/preferences/preferences.js index 7f5b2504bc..672afdc785 100644 --- a/chrome/content/zotero/preferences/preferences.js +++ b/chrome/content/zotero/preferences/preferences.js @@ -408,7 +408,6 @@ ${str} // Ignore } - Zotero.debug(`Attaching <${elem.tagName}> element to ${preference}`); let symbol = Zotero.Prefs.registerObserver( preference, () => this._syncFromPref(elem, preference), @@ -440,7 +439,6 @@ ${str} let detachFromPreference = (elem) => { if (this._observerSymbols.has(elem)) { - Zotero.debug(`Detaching <${elem.tagName}> element from preference`); Zotero.Prefs.unregisterObserver(this._observerSymbols.get(elem)); this._observerSymbols.delete(elem); }