diff options
| -rwxr-xr-x | user-overrides.js | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/user-overrides.js b/user-overrides.js index 083c97b..9352174 100755 --- a/user-overrides.js +++ b/user-overrides.js @@ -28,3 +28,4 @@ user_pref("permissions.default.geo", 2); user_pref("permissions.default.microphone", 2); user_pref("toolkit.legacyUserProfileCustomizations.stylesheets", true); +user_pref("browser.compactmode.show", true); |