From ad7fe9b71137718966825da747ec4c048f09435b Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Rapha=C3=ABl=20Hertzog?= Date: Wed, 6 Nov 2019 18:34:50 +0100 Subject: [PATCH] Add gsettings for mousepad --- debian/kali-themes.gsettings-override | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/debian/kali-themes.gsettings-override b/debian/kali-themes.gsettings-override index 6cc57431..2e5f0124 100644 --- a/debian/kali-themes.gsettings-override +++ b/debian/kali-themes.gsettings-override @@ -18,3 +18,9 @@ gtk-theme='Kali-X' [org.gnome.shell.extensions.user-theme] name='Kali-X' + +# Change mousepad editor settings +[org.xfce.mousepad.preferences.view] +color-scheme='Kali-Dark' +font-name='Fira Code Medium 10' +use-default-monospace-font=false