![]() ![]() | ![]() |
version 1.83, 2017/01/24 19:53:37 | version 1.84, 2017/01/24 19:59:19 | ||
---|---|---|---|
|
|
||
.type = OPTIONS_TABLE_ARRAY, | .type = OPTIONS_TABLE_ARRAY, | ||
.scope = OPTIONS_TABLE_SERVER, | .scope = OPTIONS_TABLE_SERVER, | ||
.default_str = "split-pane=split-window," | .default_str = "split-pane=split-window," | ||
"splitp=split-window" | "splitp=split-window," | ||
"server-info=show-messages -JT," | |||
"info=show-messages -JT", | |||
.separator = "," | |||
}, | }, | ||
{ .name = "default-terminal", | { .name = "default-terminal", |