mirrors/Firefox-UI-Fix
1
Fork 0
mirror of https://github.com/black7375/Firefox-UI-Fix.git synced 2025-12-06 02:30:54 -08:00
Code Issues Projects Releases Packages Wiki Activity Actions

Fix: Tab - change option name #463

Browse source
This commit is contained in:
alstjr7375 2023-08-14 01:05:14 +09:00
parent 0b9164e69d
commit 660882ab5d
4 changed files with 9 additions and 9 deletions
Download patch file Download diff file Expand all files Collapse all files

2
user.js
View file

@ -186,7 +186,7 @@ user_pref("userChrome.rounding.square_tab", false);
// user_pref("userChrome.tab.close_button_at_hover.with_selected", true); // Need close_button_at_hover
// user_pref("userChrome.tab.sound_show_label", true); // Need remove sound_hide_label
// user_pref("userChrome.tab.container.on_top", true);
// user_pref("userChrome.tab.sound_with_favicons.with_text", true);
// user_pref("userChrome.tab.sound_with_favicons.on_center", true);
// user_pref("userChrome.tab.selected_bold", true);
// user_pref("userChrome.navbar.as_sidebar", true);