Personal preferences to user.js
This commit is contained in:
parent
7a1a81baa7
commit
c925e662ce
|
@ -17,3 +17,7 @@ user_pref("browser.theme.dark-private-windows", false);
|
||||||
// Enable rounded bottom window corners
|
// Enable rounded bottom window corners
|
||||||
user_pref("widget.gtk.rounded-bottom-corners.enabled", true);
|
user_pref("widget.gtk.rounded-bottom-corners.enabled", true);
|
||||||
|
|
||||||
|
// Personal additions
|
||||||
|
user_pref("gnomeTheme.hideSingleTab", true);
|
||||||
|
user_pref("gnomeTheme.normalWidthTabs", true);
|
||||||
|
user_pref("gnomeTheme.tabsAsHeaderbar", true);
|
||||||
|
|
Loading…
Reference in New Issue