From 0b36c6928cfa07a8cb9fdf7b90f15ec9ec6eec48 Mon Sep 17 00:00:00 2001
From: alstjr7375 <alstjr7375@daum.net>
Date: Thu, 7 Apr 2022 09:04:30 +0900
Subject: [PATCH] Fix: Option - Change name `padding.global_menu` ->
 `padding.global_menubar`

---
 src/padding/{_global_menu.scss => _global_menubar.scss} | 0
 src/padding/_index.scss                                 | 4 ++--
 user.js                                                 | 2 +-
 3 files changed, 3 insertions(+), 3 deletions(-)
 rename src/padding/{_global_menu.scss => _global_menubar.scss} (100%)

diff --git a/src/padding/_global_menu.scss b/src/padding/_global_menubar.scss
similarity index 100%
rename from src/padding/_global_menu.scss
rename to src/padding/_global_menubar.scss
diff --git a/src/padding/_index.scss b/src/padding/_index.scss
index 2221c46..e0162b5 100644
--- a/src/padding/_index.scss
+++ b/src/padding/_index.scss
@@ -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 ===================================================*/
diff --git a/user.js b/user.js
index 06cd23d..7b494ab 100644
--- a/user.js
+++ b/user.js
@@ -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);