Guest User

Untitled

a guest
Jan 16th, 2019
76
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 1.08 KB | None | 0 0
  1. From 2cb7f8bb403a848621fd8b2d7364477c4dfc4b36 Mon Sep 17 00:00:00 2001
  2. From: Will Dietz <w@wdtz.org>
  3. Date: Sat, 5 Jan 2019 18:08:32 -0600
  4. Subject: [PATCH] add options to set cell_{height,width}_scale
  5.  
  6. ---
  7. termite.cc | 6 ++++++
  8. 1 file changed, 6 insertions(+)
  9.  
  10. diff --git a/termite.cc b/termite.cc
  11. index a5ae461..3b803c9 100644
  12. --- a/termite.cc
  13. +++ b/termite.cc
  14. @@ -1480,6 +1480,12 @@ static void set_config(GtkWindow *window, VteTerminal *vte, GtkWidget *scrollbar
  15. #if VTE_CHECK_VERSION (0, 51, 2)
  16. vte_terminal_set_bold_is_bright(vte, cfg_bool("bold_is_bright", TRUE));
  17. #endif
  18. + // TODO: actual version check
  19. +#if VTE_CHECK_VERSION (0, 51, 2)
  20. + vte_terminal_set_cell_height_scale(vte, get_config_double(config, "options", "cell_height_scale").get_value_or(1.0));
  21. + vte_terminal_set_cell_width_scale(vte, get_config_double(config, "options", "cell_width_scale").get_value_or(1.0));
  22. +#endif
  23. +
  24. info->dynamic_title = cfg_bool("dynamic_title", TRUE);
  25. info->urgent_on_bell = cfg_bool("urgent_on_bell", TRUE);
  26. info->clickable_url = cfg_bool("clickable_url", TRUE);
  27. --
  28. 2.20.1
Add Comment
Please, Sign In to add comment