diff --git a/chrome/content/zotero/preferences/preferences.js b/chrome/content/zotero/preferences/preferences.js index e8e309af30..3cd3a8007d 100644 --- a/chrome/content/zotero/preferences/preferences.js +++ b/chrome/content/zotero/preferences/preferences.js @@ -704,7 +704,7 @@ ${str} * @return {Promise} */ async _findNodesMatching(root, term) { - const EXCLUDE_SELECTOR = 'input, [hidden="true"], [no-highlight]'; + const EXCLUDE_SELECTOR = 'input, [hidden]:not([hidden="false"]), [no-highlight]'; let matched = new Set(); let treeWalker = document.createTreeWalker(root, NodeFilter.SHOW_TEXT);