From 8599a39586ec55f49e7e3837d77c0dee6c95a326 Mon Sep 17 00:00:00 2001
From: gryf <gryf73@gmail.com>
Date: Sun, 16 Jun 2019 18:53:18 +0200
Subject: [PATCH] Change font size for gtk3 gvim

---
 vimrc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/vimrc b/vimrc
index 4c4ac8c..397d755 100644
--- a/vimrc
+++ b/vimrc
@@ -713,7 +713,7 @@ command W w !sudo tee "%" > /dev/null
 "}}}
 " GUI: detect graphics mode, set colorscheme {{{
 if has('gui_running')
-    set guifont=DejaVuSansMono\ Nerd\ Font\ Mono\ 12
+    set guifont=DejaVuSansMono\ Nerd\ Font\ Mono\ 10
     set mouse=a                "Enable mouse support
     " No toolbar, menu, scrollbars, draw simple text tabs. This would keep
     " window in one place, and also this will conserve space. Tabs are huge