From 7e591ee7d53c60fb085d0bc4c457c3f3acffe3f9 Mon Sep 17 00:00:00 2001 From: Jordan Holt Date: Fri, 8 Dec 2023 21:06:58 +0000 Subject: [PATCH] Add GNOME rounded window corner extension --- modules/desktop/gnome.nix | 1 + 1 file changed, 1 insertion(+) diff --git a/modules/desktop/gnome.nix b/modules/desktop/gnome.nix index 211acd4..caf3e6f 100644 --- a/modules/desktop/gnome.nix +++ b/modules/desktop/gnome.nix @@ -180,6 +180,7 @@ in { gnomeExtensions.pano gnomeExtensions.paperwm # gnomeExtensions.pip-on-top + gnomeExtensions.rounded-window-corners gnomeExtensions.search-light gnomeExtensions.smart-auto-move gnomeExtensions.space-bar