From 749530fae44e2eed75bbcaf5ca69a9a24514c6fe Mon Sep 17 00:00:00 2001 From: alstjr7375 Date: Mon, 21 Mar 2022 15:45:00 +0900 Subject: [PATCH] Fix: Option - change `always_show_close_button_at_hover` -> `close_button_at_hover.always` --- src/tabbar/clipped_tab/_show_close_button_at_hover.scss | 4 ++-- user.js | 8 ++++---- 2 files changed, 6 insertions(+), 6 deletions(-) diff --git a/src/tabbar/clipped_tab/_show_close_button_at_hover.scss b/src/tabbar/clipped_tab/_show_close_button_at_hover.scss index f2a6116..ec8d7eb 100644 --- a/src/tabbar/clipped_tab/_show_close_button_at_hover.scss +++ b/src/tabbar/clipped_tab/_show_close_button_at_hover.scss @@ -15,7 +15,7 @@ visibility: visible !important; opacity: 1; } -@include Option("userChrome.tab.always_show_close_button_at_hover") { +@include Option("userChrome.tab.close_button_at_hover.always") { .tabbrowser-tab:not([visuallyselected]) .tab-close-button { visibility: collapse !important; opacity: 0; @@ -38,7 +38,7 @@ transition: opacity 0.25s var(--animation-easing-function) !important; } - @include Option("userChrome.tab.always_show_close_button_at_hover") { + @include Option("userChrome.tab.close_button_at_hover.always") { /* Fade out */ .tabbrowser-tab:not([visuallyselected]) .tab-close-button { transition: opacity 0.1s var(--animation-easing-function) !important; diff --git a/user.js b/user.js index 098110c..d901b19 100644 --- a/user.js +++ b/user.js @@ -62,10 +62,10 @@ user_pref("userChrome.tab.bottom_rounded_corner", true); // user_pref("userChrome.urlView.go_button_when_typing", true); // user_pref("userChrome.urlView.always_show_page_actions", true); -// user_pref("userChrome.tab.always_show_tab_icon", true); -// user_pref("userChrome.tab.always_show_close_button_at_hover", true); // Need close_button_at_hover -// user_pref("userChrome.tab.sound_show_label", true); // Need remove sound_hide_label -// user_pref("userChrome.tab.centered_label", true); +// user_pref("userChrome.tab.always_show_tab_icon", true); +// user_pref("userChrome.tab.close_button_at_hover.always", true); // Need close_button_at_hover +// user_pref("userChrome.tab.sound_show_label", true); // Need remove sound_hide_label +// user_pref("userChrome.tab.centered_label", true); // == Theme Default Settings =================================================== // -- User Chrome --------------------------------------------------------------