added gnome extension places-menu

2023-08-02 16:41:33 +02:00 · 2023-08-02 16:41:33 +02:00 · 1a8dfee89a
commit 1a8dfee89a
parent d47e894ccd
1 changed files with 1 additions and 0 deletions
--- 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"
    ];
  };
 }