cell-scaling.patch

From 2cb7f8bb403a848621fd8b2d7364477c4dfc4b36 Mon Sep 17 00:00:00 2001
From: Will Dietz <w@wdtz.org>
Date: Sat, 5 Jan 2019 18:08:32 -0600
Subject: [PATCH] add options to set cell_{height,width}_scale

---
 termite.cc | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/termite.cc b/termite.cc
index a5ae461..3b803c9 100644
--- a/termite.cc
+++ b/termite.cc
@@ -1480,6 +1480,12 @@ static void set_config(GtkWindow *window, VteTerminal *vte, GtkWidget *scrollbar
 #if VTE_CHECK_VERSION (0, 51, 2)
     vte_terminal_set_bold_is_bright(vte, cfg_bool("bold_is_bright", TRUE));
 #endif
+    // TODO: actual version check
+#if VTE_CHECK_VERSION (0, 51, 2)
+    vte_terminal_set_cell_height_scale(vte, get_config_double(config, "options", "cell_height_scale").get_value_or(1.0));
+    vte_terminal_set_cell_width_scale(vte, get_config_double(config, "options", "cell_width_scale").get_value_or(1.0));
+#endif
+
     info->dynamic_title = cfg_bool("dynamic_title", TRUE);
     info->urgent_on_bell = cfg_bool("urgent_on_bell", TRUE);
     info->clickable_url = cfg_bool("clickable_url", TRUE);
-- 
2.20.1