Config option to enable/disable bold font

This commit is contained in:
LemonBoy 2012-06-08 17:56:50 +02:00 committed by Daniel Micay
parent d359190a28
commit a2e4bda8fc
2 changed files with 4 additions and 1 deletions

View File

@ -285,15 +285,17 @@ static void load_config(GtkWindow *window, VteTerminal *vte,
vte_terminal_set_visible_bell(vte, cfgbool);
if (get_config_boolean(config, "options", "mouse_autohide", &cfgbool))
vte_terminal_set_mouse_autohide(vte, cfgbool);
if (get_config_boolean(config, "options", "bold_allowed", &cfgbool))
vte_terminal_set_allow_bold(vte, cfgbool);
if (get_config_boolean(config, "options", "dynamic_title", &cfgbool))
*dynamic_title = cfgbool;
if (get_config_boolean(config, "options", "urgent_on_bell", &cfgbool))
*urgent_on_bell = cfgbool;
if (get_config_boolean(config, "options", "clickable_url", &cfgbool))
*clickable_url = cfgbool;
if (get_config_string(config, "options", "browser", &cfgstr)) {
browser_cmd[0] = cfgstr;
} else {
browser_cmd[0] = g_getenv("BROWSER");
if (!browser_cmd[0]) *clickable_url = false;

View File

@ -5,6 +5,7 @@ scroll_on_keystroke = true
audible_bell = false
visible_bell = false
mouse_autohide = false
allow_bold = true
dynamic_title = true
urgent_on_bell = true
clickable_url = true