From a10dd3518db70f4e77c81095b4301ab8ef185b09 Mon Sep 17 00:00:00 2001 From: omri Date: Sat, 8 Jul 2023 15:20:41 +0300 Subject: [PATCH] gtk: add settings.ini file --- .config/gtk-3.0/settings.ini | 15 +++++++++++++++ 1 file changed, 15 insertions(+) create mode 100644 .config/gtk-3.0/settings.ini diff --git a/.config/gtk-3.0/settings.ini b/.config/gtk-3.0/settings.ini new file mode 100644 index 0000000..f4d5ac7 --- /dev/null +++ b/.config/gtk-3.0/settings.ini @@ -0,0 +1,15 @@ +[Settings] +gtk-theme-name=wal +gtk-icon-theme-name=Papirus-Dark +gtk-font-name=mononoki Nerd Font 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=1 +gtk-enable-input-feedback-sounds=1 +gtk-xft-antialias=1 +gtk-xft-hinting=1 +gtk-xft-hintstyle=hintmedium