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 Bar - Separated tabbar options

Browse source
This commit is contained in:
alstjr7375 2022-08-04 10:03:18 +09:00
parent 48eb45b40d
commit 6a0b56c2ba
15 changed files with 182 additions and 181 deletions
Download patch file Download diff file Expand all files Collapse all files

17
user.js
View file

@ -107,14 +107,15 @@ user_pref("userChrome.rounding.square_tab", false);
// user_pref("userChrome.urlView.go_button_when_typing", true);
// user_pref("userChrome.urlView.always_show_page_actions", true);
// user_pref("userChrome.tab.on_bottom", true);
// user_pref("userChrome.tab.on_bottom.above_bookmark", true); // Need on_bottom
// user_pref("userChrome.tab.on_bottom.menubar_on_top", true); // Need on_bottom
// user_pref("userChrome.tab.one_liner", true);
// user_pref("userChrome.tab.one_liner.combine_navbar", true);
// user_pref("userChrome.tab.one_liner.tabbar_first", true);
// user_pref("userChrome.tab.one_liner.responsive", true);
// user_pref("userChrome.tab.as_titlebar", true);
// user_pref("userChrome.tabbar.as_titlebar", true);
// user_pref("userChrome.tabbar.on_bottom", true);
// user_pref("userChrome.tabbar.on_bottom.above_bookmark", true); // Need on_bottom
// user_pref("userChrome.tabbar.on_bottom.menubar_on_top", true); // Need on_bottom
// user_pref("userChrome.tabbar.one_liner", true);
// user_pref("userChrome.tabbar.one_liner.combine_navbar", true); // Need one_liner
// user_pref("userChrome.tabbar.one_liner.tabbar_first", true); // Need one_liner
// user_pref("userChrome.tabbar.one_liner.responsive", true); // Need one_liner
// 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);