diff options
Diffstat (limited to '')
| -rw-r--r-- | debian/gnome-shell.gsettings-override | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/debian/gnome-shell.gsettings-override b/debian/gnome-shell.gsettings-override index 05e24af..c8ed95f 100644 --- a/debian/gnome-shell.gsettings-override +++ b/debian/gnome-shell.gsettings-override @@ -1,3 +1,6 @@ [org.gnome.shell] enabled-extensions=[ 'bluetooth-quick-connect@bjarosze.gmail.com', 'disable-workspace-switcher-popup@github.com', 'disconnect-wifi@kgshank.net', 'impatience@gfxmonk.net', 'multi-monitors-add-on@spin83', 'noannoyance@sindex.com' ] favorite-apps=[ 'firefox.desktop', 'thunderbird.desktop', 'libreoffice-startcenter.desktop', 'org.gnome.Nautilus.desktop', 'gnome-terminal.desktop', 'org.gnome.Software.desktop', 'yelp.desktop' ] + +[org.gnome.shell.overrides] +dynamic-workspaces=false |