From 1a8dfee89a315981bbe3e55aeff34336df464757 Mon Sep 17 00:00:00 2001
From: Kristian Krsnik <git@krsnik.at>
Date: Wed, 2 Aug 2023 16:41:33 +0200
Subject: [PATCH] added gnome extension places-menu

---
 home/gnome.nix | 1 +
 1 file changed, 1 insertion(+)

diff --git a/home/gnome.nix b/home/gnome.nix
index 35fe746..fa5c4b7 100644
--- a/home/gnome.nix
+++ b/home/gnome.nix
@@ -54,6 +54,7 @@
     disable-user-extensions = false;
     enabled-extensions = [
       "quick-settings-audio-panel@rayzeq.github.io"
+      "places-menu@gnome-shell-extensions.gcampax.github.com"
     ];
   };
 }