From 7e418662f75e421ed16a3d937a9dac0391b12f1c Mon Sep 17 00:00:00 2001 From: Eduard Tolosa Date: Thu, 2 Jul 2020 11:10:44 -0500 Subject: [PATCH] Add files via upload --- user-config/settings.ini | 16 ++++++++++++++++ 1 file changed, 16 insertions(+) create mode 100644 user-config/settings.ini diff --git a/user-config/settings.ini b/user-config/settings.ini new file mode 100644 index 0000000..5663305 --- /dev/null +++ b/user-config/settings.ini @@ -0,0 +1,16 @@ +[Settings] +gtk-theme-name=Adwaita-dark +gtk-icon-theme-name=Papirus-Dark +gtk-font-name=DejaVu Sans Mono 11 +gtk-cursor-theme-name=Adwaita +gtk-cursor-theme-size=0 +gtk-toolbar-style=GTK_TOOLBAR_BOTH_HORIZ +gtk-toolbar-icon-size=GTK_ICON_SIZE_LARGE_TOOLBAR +gtk-button-images=0 +gtk-menu-images=0 +gtk-enable-event-sounds=0 +gtk-enable-input-feedback-sounds=0 +gtk-xft-antialias=1 +gtk-xft-hinting=1 +gtk-xft-hintstyle=hintmedium +gtk-application-prefer-dark-theme=1