mirrors/Firefox-UI-Fix
1
Fork 0
mirror of https://github.com/black7375/Firefox-UI-Fix.git synced 2026-02-05 06:50:39 -08:00
Code Issues Projects Releases Packages Wiki Activity Actions

Fix: Option - Change name padding.global_menu -> padding.global_menubar

Browse source
This commit is contained in:
alstjr7375 2022-04-07 09:04:30 +09:00
parent 05aa4da41d
commit 0b36c6928c
3 changed files with 3 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

0
src/padding/_global_menu.scss → src/padding/_global_menubar.scss
View file

4
src/padding/_index.scss
View file

@ -73,8 +73,8 @@
}
/*= Global Menu - Set Padding ================================================*/
@include Option("userChrome.padding.global_menu") {
@import "global_menu";
@include Option("userChrome.padding.global_menubar") {
@import "global_menubar";
}
/*= Panel - Reduce padding ===================================================*/

2
user.js
View file

@ -115,7 +115,7 @@ user_pref("userChrome.padding.bookmarkbar", true);
user_pref("userChrome.padding.infobar", true);
user_pref("userChrome.padding.menu", true);
user_pref("userChrome.padding.bookmark_menu", true);
user_pref("userChrome.padding.global_menu", true);
user_pref("userChrome.padding.global_menubar", true);
user_pref("userChrome.padding.panel", true);
user_pref("userChrome.padding.popup_panel", true);