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

Gnome-Shell: replace gedit with gnome-text-editor in dash favorites

Browse Source
This commit is contained in:
Daniel Ruiz de Alegría
2022-09-15 17:56:10 +02:00
parent 0547ec199d
commit f46f87a2a3
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
debian/kali-themes.gsettings-override
Vendored
+1 -1
View File
@@ -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