Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- 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
Add Comment
Please, Sign In to add comment