version 1.91, 2017/07/26 16:14:08 |
version 1.92, 2017/08/16 11:46:08 |
|
|
.type = OPTIONS_TABLE_CHOICE, |
.type = OPTIONS_TABLE_CHOICE, |
.scope = OPTIONS_TABLE_SESSION, |
.scope = OPTIONS_TABLE_SESSION, |
.choices = options_table_bell_action_list, |
.choices = options_table_bell_action_list, |
.default_num = BELL_OTHER |
.default_num = ALERT_OTHER |
}, |
}, |
|
|
{ .name = "assume-paste-time", |
{ .name = "assume-paste-time", |
|
|
.type = OPTIONS_TABLE_CHOICE, |
.type = OPTIONS_TABLE_CHOICE, |
.scope = OPTIONS_TABLE_SESSION, |
.scope = OPTIONS_TABLE_SESSION, |
.choices = options_table_bell_action_list, |
.choices = options_table_bell_action_list, |
.default_num = BELL_ANY |
.default_num = ALERT_ANY |
}, |
}, |
|
|
{ .name = "default-command", |
{ .name = "default-command", |
|
|
.type = OPTIONS_TABLE_CHOICE, |
.type = OPTIONS_TABLE_CHOICE, |
.scope = OPTIONS_TABLE_SESSION, |
.scope = OPTIONS_TABLE_SESSION, |
.choices = options_table_bell_action_list, |
.choices = options_table_bell_action_list, |
.default_num = BELL_OTHER |
.default_num = ALERT_OTHER |
}, |
}, |
|
|
{ .name = "status", |
{ .name = "status", |