|
|
@ -1481,6 +1481,8 @@ static void set_config(GtkWindow *window, VteTerminal *vte, GtkWidget *scrollbar |
|
|
|
#endif
|
|
|
|
#if VTE_CHECK_VERSION (0, 51, 2)
|
|
|
|
vte_terminal_set_bold_is_bright(vte, cfg_bool("bold_is_bright", TRUE)); |
|
|
|
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); |
|
|
|