From cfab690e594b1a09b8b409c470c01e9e3b4469bc Mon Sep 17 00:00:00 2001 From: yokoffing <11689349+yokoffing@users.noreply.github.com> Date: Sat, 24 Dec 2022 12:25:03 -0500 Subject: [PATCH] Update user-overrides.js --- user-overrides.js | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/user-overrides.js b/user-overrides.js index f942a4f..4db85cf 100644 --- a/user-overrides.js +++ b/user-overrides.js @@ -58,7 +58,7 @@ user_pref("browser.bookmarks.max_backups", 0); // minimize disk use; manually ba user_pref("view_source.wrap_long_lines", true); // wrap source lines user_pref("devtools.debugger.ui.editor-wrapping", true); // wrap lines in devtools user_pref("browser.zoom.full", false); // text-only zoom, not all elements on page -user_pref("pdfjs.sidebarViewOnLoad", 2); // show Table of Contents in sidebar for PDFs (if available) +user_pref("pdfjs.sidebarViewOnLoad", 2); // [HIDDEN] force showing of Table of Contents in sidebar for PDFs (if available) user_pref("ui.key.menuAccessKey", 0); // remove underlined characters from various settings user_pref("general.autoScroll", false); // disable unintentional behavior for middle click user_pref("ui.SpellCheckerUnderlineStyle", 1); // dots for spell check errors