mirror of
https://github.com/black7375/Firefox-UI-Fix.git
synced 2025-12-06 02:30:54 -08:00
Add: Padding - userChrome.padding.first_tab.always #475
This commit is contained in:
parent
5102e2f505
commit
960912f535
4 changed files with 42 additions and 24 deletions
1
user.js
1
user.js
|
|
@ -116,6 +116,7 @@ user_pref("userChrome.rounding.square_tab", false);
|
|||
// user_pref("userChrome.rounding.square_checklabel", true);
|
||||
|
||||
// user_pref("userChrome.padding.first_tab", true);
|
||||
// user_pref("userChrome.padding.first_tab.always", true);
|
||||
// user_pref("userChrome.padding.drag_space", true);
|
||||
// user_pref("userChrome.padding.drag_space.maximized", true);
|
||||
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue