From 89da0724270d6a7d5e22d2491e944c959586e893 Mon Sep 17 00:00:00 2001
From: whitequark <whitequark@whitequark.org>
Date: Thu, 21 Jul 2016 08:48:05 +0000
Subject: [PATCH] GTK3: fix a broken type cast introduced in 66746d1.

---
 src/platform/gtkmain.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/platform/gtkmain.cpp b/src/platform/gtkmain.cpp
index 5ce08a8..0bbbc86 100644
--- a/src/platform/gtkmain.cpp
+++ b/src/platform/gtkmain.cpp
@@ -378,7 +378,7 @@ public:
            in absolute sizes; modify_font does on GTK2. */
         Pango::FontDescription override_font_desc(font_desc);
         double dpi = get_screen()->get_resolution();
-        override_font_desc.set_size(font_height * (int)(72.0 / dpi) * Pango::SCALE);
+        override_font_desc.set_size(font_height * 72.0 / dpi * Pango::SCALE);
         _entry.override_font(override_font_desc);
 #else
         _entry.modify_font(font_desc);