From 08fa52a68b2670ca97fdb6eb0037ef003fd97b99 Mon Sep 17 00:00:00 2001 From: Benjamin Franzke Date: Mon, 23 Mar 2015 15:48:29 +0100 Subject: gtk-3.0: Space changes and default values by gui tool --- .config/gtk-3.0/settings.ini | 9 +++++---- 1 file changed, 5 insertions(+), 4 deletions(-) diff --git a/.config/gtk-3.0/settings.ini b/.config/gtk-3.0/settings.ini index b2aef11..0e6267a 100644 --- a/.config/gtk-3.0/settings.ini +++ b/.config/gtk-3.0/settings.ini @@ -1,5 +1,6 @@ [Settings] -gtk-font-name = DejaVu Sans 9 -gtk-theme-name = Zukitwo -gtk-fallback-icon-theme = Tango -gtk-cursor-theme-name = Vanilla-DMZ +gtk-font-name=DejaVu Sans 9 +gtk-theme-name=Zukitwo +gtk-fallback-icon-theme=Tango +gtk-cursor-theme-name=Vanilla-DMZ +gtk-application-prefer-dark-theme=0 -- cgit