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

Add: Options - new options for #380

Browse source
This commit is contained in:
alstjr7375 2022-05-07 00:51:57 +09:00
parent bd0988845c
commit d779e40f80
1 changed files with 4 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

4
user.js
View file

@ -36,6 +36,7 @@ user_pref("userChrome.tab.lepton_like_padding", true); // Original
user_pref("userChrome.tab.dynamic_separtor", true); // Original, Proton
// user_pref("userChrome.tab.static_separator", true); // Photon
// user_pref("userChrome.tab.static_separator.selected_accent", true); // Just option
user_pref("userChrome.tab.newtab_button_like_tab", true); // Original
// user_pref("userChrome.tab.newtab_button_smaller", true); // Photon
@ -78,6 +79,7 @@ user_pref("userChrome.tab.bottom_rounded_corner", true);
// user_pref("userChrome.padding.first_tab", true);
// user_pref("userChrome.padding.drag_space", true);
// user_pref("userChrome.padding.drag_space.maximized", true);
// user_pref("userChrome.padding.menu_compact", true);
// user_pref("userChrome.padding.urlView_expanding", true);
@ -93,6 +95,8 @@ user_pref("userChrome.tab.bottom_rounded_corner", true);
// user_pref("userChrome.tab.on_bottom.menubar_on_top", true); // Need on_bottom
// user_pref("userChrome.tab.always_show_tab_icon", true);
// user_pref("userChrome.tab.close_button_at_pinned", true);
// user_pref("userChrome.tab.close_button_at_pinned.always", true);
// 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_label", true);