![]() ![]() | ![]() |
version 1.112, 2019/11/14 07:55:01 | version 1.113, 2019/11/14 16:23:23 | ||
---|---|---|---|
|
|
||
.type = OPTIONS_TABLE_CHOICE, | .type = OPTIONS_TABLE_CHOICE, | ||
.scope = OPTIONS_TABLE_WINDOW, | .scope = OPTIONS_TABLE_WINDOW, | ||
.choices = options_table_window_size_list, | .choices = options_table_window_size_list, | ||
.default_num = WINDOW_SIZE_SMALLEST | .default_num = WINDOW_SIZE_LATEST | ||
}, | }, | ||
{ .name = "window-style", | { .name = "window-style", |