Add: Option - Menu compact, Remove strip

This commit is contained in:
alstjr7375 2022-03-21 17:04:35 +09:00
parent 219470ba0e
commit c9c145c86c
4 changed files with 18 additions and 0 deletions

View file

@ -7,6 +7,15 @@
:root[uidensity="touch"] {
--menu-padding: 0.5em;
}
@include Option("userChrome.padding.menu_compact") {
:root {
--menu-padding: 2px;
}
:root[uidensity=compact] {
--menu-padding: 0px;
}
}
menupopup:not(.in-menulist) > menuitem,
menupopup > menu {
/* Original: 0.5em */

View file

@ -0,0 +1,3 @@
#appMenu-fxa-separator {
display: none;
}

View file

@ -69,6 +69,9 @@
}
/** Panel - Icons *************************************************************/
@include Option("userChrome.panel.remove_strip") {
@import "panel/remove_strip";
}
@include Option("userChrome.icon.panel") {
@import "panel/icon_padding";
@import "icons/panel";

View file

@ -55,6 +55,7 @@ user_pref("userChrome.tab.bottom_rounded_corner", true);
// user_pref("userChrome.padding.first_tab", true);
// user_pref("userChrome.padding.drag_space", true);
// user_pref("userChrome.padding.menu_compact", true);
// user_pref("userChrome.padding.urlView_expanding", true);
// user_pref("userChrome.padding.urlView_result", true);
@ -67,6 +68,8 @@ user_pref("userChrome.tab.bottom_rounded_corner", true);
// user_pref("userChrome.tab.sound_show_label", true); // Need remove sound_hide_label
// user_pref("userChrome.tab.centered_label", true);
// user_pref("userChrome.panel.remove_strip", true);
// == Theme Default Settings ===================================================
// -- User Chrome --------------------------------------------------------------
user_pref("userChrome.compatibility.theme", true);