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: Centered - Replace centered options

Browse source 
- `userChrome.tab.centered_content` -> `userChrome.centered.tab`
- `userChrome.tab.centered_label` -> `userChrome.centered.tab.label`
- `userChrome.bookmarkbar.centered` -> `userChrome.centered.bookmarkbar`
This commit is contained in:
alstjr7375 2022-08-08 11:10:55 +09:00
parent 1b9a70e68e
commit b6adcce94f
12 changed files with 78 additions and 78 deletions
Download patch file Download diff file Expand all files Collapse all files

8
user.js
View file

@ -93,6 +93,10 @@ user_pref("userChrome.rounding.square_tab", false);
// user_pref("userChrome.hidden.selected_tab", true);
// user_pref("userChrome.hidden.disabled_menu", true);
// user_pref("userChrome.centered.tab", true);
// user_pref("userChrome.centered.tab.label", true);
// user_pref("userChrome.centered.bookmarkbar", true);
// user_pref("userChrome.rounding.square_button", true);
// user_pref("userChrome.rounding.square_panel", true);
// user_pref("userChrome.rounding.square_panelitem", true);
@ -130,10 +134,6 @@ user_pref("userChrome.rounding.square_tab", false);
// user_pref("userChrome.tab.close_button_at_pinned.background", 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_content", true);
// user_pref("userChrome.tab.centered_label", true);
// user_pref("userChrome.bookmarkbar.centered", true);
// user_pref("userChrome.panel.remove_strip", true);
// user_pref("userChrome.panel.full_width_separator", true);