PoliEcho/kaliish-orange-theme
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Gnome-Shell: update settings for dash-to-dock extensions

Browse Source
This commit is contained in:
Daniel Ruiz de Alegría 2022-04-20 19:38:58 +02:00
parent a311522a61
commit f121ea93d6
No known key found for this signature in database
GPG Key ID: 59667A77E8BFCB6C
1 changed files with 1 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
debian/kali-themes.gsettings-override vendored
View File

@ -52,10 +52,7 @@ favorite-apps = ['org.gnome.Terminal.desktop', 'org.gnome.Nautilus.desktop', 'ge
[org.gnome.shell.extensions.dash-to-dock] [org.gnome.shell.extensions.dash-to-dock]
custom-theme-shrink=true custom-theme-shrink=true
show-trash = false show-trash = false
# TODO: remove running-indicator-style='DOTS'
# Fixes issue with external drives crashing the shell
# https://github.com/micheleg/dash-to-dock/issues/1701
show-mounts = false
# Configure desktop icons in gnome-shell # Configure desktop icons in gnome-shell
[org.gnome.shell.extensions.ding] [org.gnome.shell.extensions.ding]