myconfig

commit 8d5935edaae64537ef0cbd7a4ebfa743934648a1
parent b0b0fd84da297b8e837112acff74ec8e19dfd5a6
Author: Antoine Amarilli <a3nm@a3nm.net>
Date:   Sat, 14 Oct 2023 22:30:44 -0700

gtk3 and font size

Diffstat:
gtk/gtkrc-2.0
 | 
2
+-
gtk/gtkrc-3.0
 | 
2
++
install.sh
 | 
1
+

3 files changed, 4 insertions(+), 1 deletion(-)
diff --git a/gtk/gtkrc-2.0 b/gtk/gtkrc-2.0
@@ -1,2 +1,2 @@
-gtk-font-name = "DejaVu Sans 8"
+gtk-font-name = "DejaVu Sans 14"
 gtk-key-theme-name = "Emacs"
diff --git a/gtk/gtkrc-3.0 b/gtk/gtkrc-3.0
@@ -0,0 +1,2 @@
+gtk-font-name = "DejaVu Sans 14"
+#gtk-icon-sizes = panel-menu=16,16:panel=16,16:gtk-menu=16,16:gtk-large-toolbar=16,16:gtk-small-toolbar=16,16:gtk-button=16,16
diff --git a/install.sh b/install.sh
@@ -62,6 +62,7 @@ ln -s ~/.zsh/zshrc ~/.zshrc
 touch ~/.zsh/ps1
 
 ln -s ~/config/gtk/gtkrc-2.0 ~/.gtkrc-2.0
+ln -s ~/config/gtk/gtkrc-3.0 ~/.gtkrc-3.0
 
 mkdir -p ~/.gnupg
 ln -s ~/config/gnupg/gpg-agent.conf ~/.gnupg/gpg-agent.conf