mirrors/Firefox-UI-Fix
1
Fork 0
mirror of https://github.com/black7375/Firefox-UI-Fix.git synced 2025-12-15 15:20:33 -08:00
Code Issues Projects Releases Packages Wiki Activity Actions

Add: Option - Padding

Browse source
This commit is contained in:
alstjr7375 2022-01-10 22:34:05 +09:00
parent d1135ff986
commit 62950a4136
13 changed files with 470 additions and 412 deletions
Download patch file Download diff file Expand all files Collapse all files

15
user.js
View file

@ -33,7 +33,9 @@ user_pref("userChrome.tab.original", true); // Original
user_pref("userChrome.tab.connect_to_window", true); // Original, Photon
user_pref("userChrome.tab.box_shadow", true); // Original
user_pref("userChrome.tab.bottom_rounded_corner", true); // Original
user_pref("userChrome.tab.photon_like_contextline", true); // Photon
user_pref("userChrome.tab.lepton_like_padding", true); // Original
// user_pref("userChrome.tab.photon_like_contextline", true); // Photon
// user_pref("userChrome.tab.photon_like_padding", true); // Photon
user_pref("userChrome.panel.proton", true); // Original, Proton
// user_pref("userChrome.panel.photon", true); // Photon
@ -53,6 +55,17 @@ user_pref("userChrome.decoration.field_border", true);
user_pref("userChrome.decoration.download_panel", true);
user_pref("userChrome.decoration.animate", true);
user_pref("userChrome.padding.tabbarWidth", true);
user_pref("userChrome.padding.tabbarHeight", true);
user_pref("userChrome.padding.navbarWidth", true);
user_pref("userChrome.padding.urlbar", true);
user_pref("userChrome.padding.bookmarkbar", true);
user_pref("userChrome.padding.infobar", true);
user_pref("userChrome.padding.menu", true);
user_pref("userChrome.padding.bookmarkMenu", true);
user_pref("userChrome.padding.globalMenu", true);
user_pref("userChrome.padding.popupPanel", true);
user_pref("userChrome.tab.multi_selected", true);
// ** Useful Options ***********************************************************