![]() ![]() | ![]() |
version 1.75, 2016/10/13 21:37:03 | version 1.76, 2016/12/30 13:49:34 | ||
---|---|---|---|
|
|
||
{ .name = "xterm-keys", | { .name = "xterm-keys", | ||
.type = OPTIONS_TABLE_FLAG, | .type = OPTIONS_TABLE_FLAG, | ||
.scope = OPTIONS_TABLE_WINDOW, | .scope = OPTIONS_TABLE_WINDOW, | ||
.default_num = 0 | .default_num = 1 | ||
}, | }, | ||
{ .name = NULL } | { .name = NULL } |