version 1.33, 2009/08/13 20:11:58 |
version 1.34, 2009/08/13 21:56:14 |
|
|
options_set_number(&global_w_options, "mode-bg", 3); |
options_set_number(&global_w_options, "mode-bg", 3); |
options_set_number(&global_w_options, "mode-fg", 0); |
options_set_number(&global_w_options, "mode-fg", 0); |
options_set_number(&global_w_options, "mode-keys", MODEKEY_EMACS); |
options_set_number(&global_w_options, "mode-keys", MODEKEY_EMACS); |
options_set_number(&global_w_options, "mode-mouse", 1); |
options_set_number(&global_w_options, "mode-mouse", 0); |
options_set_number(&global_w_options, "monitor-activity", 0); |
options_set_number(&global_w_options, "monitor-activity", 0); |
options_set_string(&global_w_options, "monitor-content", "%s", ""); |
options_set_string(&global_w_options, "monitor-content", "%s", ""); |
if (flags & IDENTIFY_UTF8) |
if (flags & IDENTIFY_UTF8) |