2019-07-12 19:37:44 +03:00
|
|
|
/* user.js
|
|
|
|
|
* https://github.com/rafaelmardojai/firefox-gnome-theme/
|
|
|
|
|
*/
|
|
|
|
|
|
|
|
|
|
// Enable customChrome.css
|
|
|
|
|
user_pref("toolkit.legacyUserProfileCustomizations.stylesheets", true);
|
|
|
|
|
|
2019-07-24 22:21:09 +03:00
|
|
|
// Set UI density to normal
|
|
|
|
|
user_pref("browser.uidensity", 0);
|
|
|
|
|
|
2020-06-07 02:48:01 +03:00
|
|
|
// Enable SVG context-propertes
|
2020-07-04 23:51:58 +03:00
|
|
|
user_pref("svg.context-properties.content.enabled", true);
|
2023-01-19 18:12:37 +02:00
|
|
|
|
|
|
|
|
// Disable private window dark theme
|
|
|
|
|
user_pref("browser.theme.dark-private-windows", false);
|
|
|
|
|
|
2023-11-10 15:08:31 +02:00
|
|
|
// Enable rounded bottom window corners
|
|
|
|
|
user_pref("widget.gtk.rounded-bottom-corners.enabled", true);
|
|
|
|
|
|
2024-01-14 11:09:48 +02:00
|
|
|
// Personal additions
|
2024-01-14 11:53:58 +02:00
|
|
|
user_pref("gnomeTheme.hideSingleTab", false);
|
2024-01-14 11:09:48 +02:00
|
|
|
user_pref("gnomeTheme.normalWidthTabs", true);
|
|
|
|
|
user_pref("gnomeTheme.tabsAsHeaderbar", true);
|
