From d7844a13fc17cc3691d2d22a840430d8b75dfbed Mon Sep 17 00:00:00 2001 From: aether <72214839+v1gg123@users.noreply.github.com> Date: Sat, 23 Oct 2021 15:49:20 +0000 Subject: [PATCH] GTK settings, added mainly for deployment script --- settings.ini | 15 +++++++++++++++ 1 file changed, 15 insertions(+) create mode 100644 settings.ini diff --git a/settings.ini b/settings.ini new file mode 100644 index 0000000..61b8af9 --- /dev/null +++ b/settings.ini @@ -0,0 +1,15 @@ +[Settings] +gtk-theme-name=Arc-Dark +gtk-icon-theme-name=Mint-Y-Dark-Purple +gtk-font-name=Sans 10 +gtk-cursor-theme-name=DMZ-Black +gtk-cursor-theme-size=0 +gtk-toolbar-style=GTK_TOOLBAR_BOTH +gtk-toolbar-icon-size=GTK_ICON_SIZE_LARGE_TOOLBAR +gtk-button-images=1 +gtk-menu-images=1 +gtk-enable-event-sounds=1 +gtk-enable-input-feedback-sounds=1 +gtk-xft-antialias=1 +gtk-xft-hinting=1 +gtk-xft-hintstyle=hintfull