![]() ![]() | ![]() |
version 1.63, 2015/09/25 23:30:24 | version 1.64, 2015/11/11 23:23:33 | ||
---|---|---|---|
|
|
||
.default_num = 0 | .default_num = 0 | ||
}, | }, | ||
{ .name = "mouse-utf8", | |||
.type = OPTIONS_TABLE_FLAG, | |||
.default_num = 0 | |||
}, | |||
{ .name = "prefix", | { .name = "prefix", | ||
.type = OPTIONS_TABLE_KEY, | .type = OPTIONS_TABLE_KEY, | ||
.default_num = '\002', | .default_num = '\002', |