From f46f87a2a3b59423cc790e58d91f90ef2a9f837f Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Daniel=20Ruiz=20de=20Alegr=C3=ADa?= Date: Thu, 15 Sep 2022 17:56:10 +0200 Subject: [PATCH] Gnome-Shell: replace gedit with gnome-text-editor in dash favorites --- debian/kali-themes.gsettings-override | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/debian/kali-themes.gsettings-override b/debian/kali-themes.gsettings-override index 6d4534a4..fd7c4c7d 100644 --- a/debian/kali-themes.gsettings-override +++ b/debian/kali-themes.gsettings-override @@ -52,7 +52,7 @@ swap-color = '#19a187' [org.gnome.shell] disable-extension-version-validation = true enabled-extensions = ['apps-menu@gnome-shell-extensions.gcampax.github.com','places-menu@gnome-shell-extensions.gcampax.github.com','dash-to-dock@micxgx.gmail.com','ProxySwitcher@flannaghan.com','ubuntu-appindicators@ubuntu.com','user-theme@gnome-shell-extensions.gcampax.github.com','ding@rastersoft.com'] -favorite-apps = ['org.gnome.Terminal.desktop', 'org.gnome.Nautilus.desktop', 'gedit.desktop', 'firefox-esr.desktop', 'kali-msfconsole.desktop', 'wireshark.desktop', 'kali-burpsuite.desktop', 'cherrytree.desktop'] +favorite-apps = ['org.gnome.Terminal.desktop', 'org.gnome.Nautilus.desktop', 'org.gnome.TextEditor.desktop', 'firefox-esr.desktop', 'kali-msfconsole.desktop', 'org.wireshark.Wireshark.desktop', 'kali-burpsuite.desktop', 'cherrytree.desktop'] [org.gnome.shell.extensions.dash-to-dock] custom-theme-shrink=true