From 27ac5a8d30d1b21407af58237921b482d5d83b02 Mon Sep 17 00:00:00 2001 From: "Andreas B. Mundt" Date: Sat, 9 Jun 2018 19:49:30 +0300 Subject: [PATCH] Improved gnome defaults. --- roles/gnome/files/defaults | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/roles/gnome/files/defaults b/roles/gnome/files/defaults index 2714a65..e612540 100644 --- a/roles/gnome/files/defaults +++ b/roles/gnome/files/defaults @@ -1,5 +1,5 @@ [org/gnome/shell] -enabled-extensions=['apps-menu@gnome-shell-extensions.gcampax.github.com'] +enabled-extensions=['apps-menu@gnome-shell-extensions.gcampax.github.com', 'window-list@gnome-shell-extensions.gcampax.github.com'] [org/gnome/desktop/background] show-desktop-icons=true @@ -7,6 +7,9 @@ show-desktop-icons=true [org/gnome/desktop/input-sources] sources=[('xkb', 'tr'), ('xkb', 'de'), ('xkb', 'us')] +[org/gnome/desktop/wm/preferences] +button-layout='appmenu:minimize,maximize,close' + [org/gnome/desktop/peripherals/touchpad] natural-scroll=false edge-scrolling-enabled=true