commit 3fbb94d81cc0557b6ef1335ce694d810a2d6fb25 parent 235f436ea4703530cc86cd7774129adafe59cf81 Author: Vincent Demeester <vincent@sbr.pm> Date: Mon, 16 Nov 2020 15:51:03 +0100 users/vincent: disable hidetopbar Signed-off-by: Vincent Demeester <vincent@sbr.pm> Diffstat:
M | users/vincent/desktop/dconf.nix | | | 2 | +- |
M | users/vincent/desktop/gnome.nix | | | 1 | - |
2 files changed, 1 insertion(+), 2 deletions(-)
diff --git a/users/vincent/desktop/dconf.nix b/users/vincent/desktop/dconf.nix @@ -97,7 +97,7 @@ in }; # Shell "org/gnome/shell" = { - enabled-extensions = [ "drive-menu@gnome-shell-extensions.gcampax.github.com" "sound-output-device-chooser@kgshank.net" "user-theme@gnome-shell-extensions.gcampax.github.com" "launch-new-instance@gnome-shell-extensions.gcampax.github.com" "bluetooth-quick-connect@bjarosze.gmail.com" "hidetopbar@mathieu.bidon.ca" "noannoyance@sindex.com" ]; + enabled-extensions = [ "drive-menu@gnome-shell-extensions.gcampax.github.com" "sound-output-device-chooser@kgshank.net" "user-theme@gnome-shell-extensions.gcampax.github.com" "launch-new-instance@gnome-shell-extensions.gcampax.github.com" "bluetooth-quick-connect@bjarosze.gmail.com" "noannoyance@sindex.com" ]; # "hidetopbar@mathieu.bidon.ca" }; # Extensions "org/gnome/shell/extensions/hidetopbar" = { diff --git a/users/vincent/desktop/gnome.nix b/users/vincent/desktop/gnome.nix @@ -21,7 +21,6 @@ gnomeExtensions.sound-output-device-chooser my.gnome-shell-extension-shell my.gnome-bluetooth-quick-connect - my.hidetopbar my.noannoyance my.nightthemeswitcher gnome3.gnome-shell-extensions