mirrors/Firefox-UI-Fix
1
Fork 0
mirror of https://github.com/black7375/Firefox-UI-Fix.git synced 2026-02-04 06:20:37 -08:00
Code Issues Projects Releases Packages Wiki Activity Actions

Fix: Option - change always_show_close_button_at_hover -> close_button_at_hover.always

Browse source
This commit is contained in:
alstjr7375 2022-03-21 15:45:00 +09:00
parent ab0afc53bd
commit 749530fae4
2 changed files with 6 additions and 6 deletions
Download patch file Download diff file Expand all files Collapse all files

4
src/tabbar/clipped_tab/_show_close_button_at_hover.scss
View file

@ -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;

8
user.js
View file

@ -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 --------------------------------------------------------------