From c9c145c86cd4e03582e56dd328dede5311b629e9 Mon Sep 17 00:00:00 2001
From: alstjr7375 <alstjr7375@daum.net>
Date: Mon, 21 Mar 2022 17:04:35 +0900
Subject: [PATCH] Add: Option - Menu compact, Remove strip

---
 src/padding/_menu.scss       | 9 +++++++++
 src/panel/_remove_strip.scss | 3 +++
 src/userChrome.scss          | 3 +++
 user.js                      | 3 +++
 4 files changed, 18 insertions(+)
 create mode 100644 src/panel/_remove_strip.scss

diff --git a/src/padding/_menu.scss b/src/padding/_menu.scss
index 4f7d83a..677e1e0 100644
--- a/src/padding/_menu.scss
+++ b/src/padding/_menu.scss
@@ -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 */
diff --git a/src/panel/_remove_strip.scss b/src/panel/_remove_strip.scss
new file mode 100644
index 0000000..c4543cd
--- /dev/null
+++ b/src/panel/_remove_strip.scss
@@ -0,0 +1,3 @@
+#appMenu-fxa-separator {
+  display: none;
+}
diff --git a/src/userChrome.scss b/src/userChrome.scss
index 23dc40e..e289d53 100644
--- a/src/userChrome.scss
+++ b/src/userChrome.scss
@@ -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";
diff --git a/user.js b/user.js
index f2d5379..ad1ec84 100644
--- a/user.js
+++ b/user.js
@@ -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);