From f121ea93d6fc517f897961e7935054bcaa84a4e5 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Daniel=20Ruiz=20de=20Alegr=C3=ADa?= Date: Wed, 20 Apr 2022 19:38:58 +0200 Subject: [PATCH] Gnome-Shell: update settings for dash-to-dock extensions --- debian/kali-themes.gsettings-override | 5 +---- 1 file changed, 1 insertion(+), 4 deletions(-) diff --git a/debian/kali-themes.gsettings-override b/debian/kali-themes.gsettings-override index 9cc5370e..dacd1434 100644 --- a/debian/kali-themes.gsettings-override +++ b/debian/kali-themes.gsettings-override @@ -52,10 +52,7 @@ favorite-apps = ['org.gnome.Terminal.desktop', 'org.gnome.Nautilus.desktop', 'ge [org.gnome.shell.extensions.dash-to-dock] custom-theme-shrink=true show-trash = false -# TODO: remove -# Fixes issue with external drives crashing the shell -# https://github.com/micheleg/dash-to-dock/issues/1701 -show-mounts = false +running-indicator-style='DOTS' # Configure desktop icons in gnome-shell [org.gnome.shell.extensions.ding]