summaryrefslogtreecommitdiffstats
path: root/debian
diff options
context:
space:
mode:
Diffstat (limited to 'debian')
-rw-r--r--debian/gnome-shell.gsettings-override2
1 files changed, 1 insertions, 1 deletions
diff --git a/debian/gnome-shell.gsettings-override b/debian/gnome-shell.gsettings-override
index b7246eb..ff20fc0 100644
--- a/debian/gnome-shell.gsettings-override
+++ b/debian/gnome-shell.gsettings-override
@@ -1,3 +1,3 @@
[org.gnome.shell]
-enabled-extensions=[ 'bluetooth-quick-connect@bjarosze.gmail.com', 'disable-workspace-switcher@jbradaric.me', 'hibernate-status@dromi', 'impatience@gfxmonk.net', 'multi-monitors-add-on@spin83', 'noannoyance@daase.net' ]
+enabled-extensions=[ 'bluetooth-quick-connect@bjarosze.gmail.com', 'disable-workspace-switcher@jbradaric.me', 'hibernate-status@dromi', 'impatience@gfxmonk.net', 'multi-monitors-add-on@spin83', 'noannoyance@daase.net', 'no-overview@fthx' ]
favorite-apps=[ 'firefox.desktop', 'thunderbird.desktop', 'libreoffice-startcenter.desktop', 'org.gnome.Nautilus.desktop', 'gnome-terminal.desktop', 'org.gnome.Software.desktop', 'yelp.desktop' ]