diff options
| author | Robert Günzler <r@gnzler.io> | 2024-12-08 23:33:46 +0100 |
|---|---|---|
| committer | Robert Günzler <r@gnzler.io> | 2024-12-08 23:33:46 +0100 |
| commit | 295a8a28fcbd52f5c8eceff9f6a6ec3bc4b32f52 (patch) | |
| tree | 0ea58d44826be9f41b832de53a9043db402ac44c /.mozilla/firefox/hibiki.default/user.js | |
| parent | 23de12baba9fbfc4ca24581b37c374aa5345cc25 (diff) | |
fix firefox userchrome with sidebar.revamp
Signed-off-by: Robert Günzler <r@gnzler.io>
Diffstat (limited to '')
| -rw-r--r-- | .mozilla/firefox/hibiki.default/user.js | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/.mozilla/firefox/hibiki.default/user.js b/.mozilla/firefox/hibiki.default/user.js index 9fe5e9b..7ce65ac 100644 --- a/.mozilla/firefox/hibiki.default/user.js +++ b/.mozilla/firefox/hibiki.default/user.js @@ -1,3 +1,10 @@ +// new sidebar +user_pref("sidebar.revamp", true); +user_pref("sidebar.verticalTabs", true); +user_pref("sidebar.animation.enabled", false); +user_pref("sidebar.main.tools", "aichat,syncedtabs,history"); +user_pref("sidebar.visibility", "hide-sidebar"); + // required for my custom userChrome user_pref("extensions.webextensions.tabhide.enabled", true); user_pref("toolkit.legacyUserProfileCustomizations.stylesheets", true); |