version 1.55, 2015/04/19 21:34:21 |
version 1.56, 2015/04/29 15:59:08 |
|
|
.default_num = 20 |
.default_num = 20 |
}, |
}, |
|
|
|
{ .name = "default-terminal", |
|
.type = OPTIONS_TABLE_STRING, |
|
.default_str = "screen" |
|
}, |
|
|
{ .name = "escape-time", |
{ .name = "escape-time", |
.type = OPTIONS_TABLE_NUMBER, |
.type = OPTIONS_TABLE_NUMBER, |
.minimum = 0, |
.minimum = 0, |
|
|
{ .name = "default-shell", |
{ .name = "default-shell", |
.type = OPTIONS_TABLE_STRING, |
.type = OPTIONS_TABLE_STRING, |
.default_str = _PATH_BSHELL |
.default_str = _PATH_BSHELL |
}, |
|
|
|
{ .name = "default-terminal", |
|
.type = OPTIONS_TABLE_STRING, |
|
.default_str = "screen" |
|
}, |
}, |
|
|
{ .name = "destroy-unattached", |
{ .name = "destroy-unattached", |