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

Add: Option - userChrome.panel.full_width_padding #222

Browse source
This commit is contained in:
alstjr7375 2022-04-04 02:36:16 +09:00
parent 822f84bae5
commit 668d5acb10
4 changed files with 30 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

12
src/panel/_full_width_padding.scss Normal file
View file

@ -0,0 +1,12 @@
/* Original
--arrowpanel-menuitem-margin: 0 8px;
--arrowpanel-menuitem-padding-block: 8px;
--arrowpanel-menuitem-padding-inline: 8px;
--arrowpanel-menuitem-padding: var(--arrowpanel-menuitem-padding-block) var(--arrowpanel-menuitem-padding-inline);
*/
:root,
:root:is([uidensity="compact"], [uidensity="touch"]) {
--arrowpanel-menuitem-margin: 0 !important;
--arrowpanel-menuitem-padding-inline: calc(var(--arrowpanel-menuitem-padding-block) + 8px) !important;
}

4
src/panel/_index.scss
View file

@ -5,3 +5,7 @@
@include Option("userChrome.panel.full_width_separator") {
@import "full_width_separator";
}
@include Option("userChrome.panel.full_width_padding") {
@import "full_width_padding";
}

1
user.js
View file

@ -89,6 +89,7 @@ user_pref("userChrome.tab.bottom_rounded_corner", true);
// user_pref("userChrome.panel.remove_strip", true);
// user_pref("userChrome.panel.full_width_separator", true);
// user_pref("userChrome.panel.full_width_padding", true);
// user_pref("userChrome.icon.account_image_to_right", true);
// user_pref("userChrome.icon.account_label_to_right", true);

13
userChrome.css
View file

@ -4958,6 +4958,19 @@
--panel-separator-margin-horizontal: 0 !important;
}
}
@supports -moz-bool-pref("userChrome.panel.full_width_padding") {
/* Original
--arrowpanel-menuitem-margin: 0 8px;
--arrowpanel-menuitem-padding-block: 8px;
--arrowpanel-menuitem-padding-inline: 8px;
--arrowpanel-menuitem-padding: var(--arrowpanel-menuitem-padding-block) var(--arrowpanel-menuitem-padding-inline);
*/
:root,
:root:is([uidensity="compact"], [uidensity="touch"]) {
--arrowpanel-menuitem-margin: 0 !important;
--arrowpanel-menuitem-padding-inline: calc(var(--arrowpanel-menuitem-padding-block) + 8px) !important;
}
}
/** Fullscreen - Overlap toolbar **********************************************/
@supports -moz-bool-pref("userChrome.fullscreen.overlap") {
@supports -moz-bool-pref("browser.fullscreen.autohide") {