jarno
/
firefox-gnome-theme
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

user.js: Enable rounded bottom window corners (#692)

This commit is contained in:
Einar de Gruyl 2023-11-10 14:08:31 +01:00 committed by GitHub
parent 3cb7083390
commit 1c32013cdb
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 3 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
configuration/user.js
View File

@ -14,3 +14,6 @@ user_pref("svg.context-properties.content.enabled", true);
// Disable private window dark theme
user_pref("browser.theme.dark-private-windows", false);
// Enable rounded bottom window corners
user_pref("widget.gtk.rounded-bottom-corners.enabled", true);