From 0a592c54ab8c2765fb0254cd01e0a6edcdebe211 Mon Sep 17 00:00:00 2001
From: eidheim <eidheim@gmail.com>
Date: Sun, 3 Apr 2016 23:19:36 +0200
Subject: [PATCH] Smaller terminal font size now correctly set. Related to #179

---
 src/window.cc | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/src/window.cc b/src/window.cc
index 8dfe8e7..08b21c4 100644
--- a/src/window.cc
+++ b/src/window.cc
@@ -146,8 +146,16 @@ void Window::configure() {
   style_context->add_provider_for_screen(screen, css_provider, GTK_STYLE_PROVIDER_PRIORITY_SETTINGS);
   Directories::get().update();
   Menu::get().set_keys();
+  
   if(Config::get().source.font.size()>0) {
     Pango::FontDescription font_description(Config::get().source.font);
+    auto font_description_size=font_description.get_size();
+    if(font_description_size==0) {
+      Pango::FontDescription default_font_description(Gtk::Settings::get_default()->property_gtk_font_name());
+      font_description_size=default_font_description.get_size();
+    }
+    if(font_description_size>0)
+      font_description.set_size(font_description_size*0.95);
     Terminal::get().override_font(font_description);
   }
 }