version 1.153, 2021/11/01 09:34:49 |
version 1.154, 2021/11/03 13:37:17 |
|
|
static const char *options_table_visual_bell_list[] = { |
static const char *options_table_visual_bell_list[] = { |
"off", "on", "both", NULL |
"off", "on", "both", NULL |
}; |
}; |
|
static const char *options_table_cursor_style_list[] = { |
|
"default", "blinking-block", "block", "blinking-underline", "underline", |
|
"blinking-bar", "bar", NULL |
|
}; |
static const char *options_table_pane_status_list[] = { |
static const char *options_table_pane_status_list[] = { |
"off", "top", "bottom", NULL |
"off", "top", "bottom", NULL |
}; |
}; |
|
|
.scope = OPTIONS_TABLE_WINDOW|OPTIONS_TABLE_PANE, |
.scope = OPTIONS_TABLE_WINDOW|OPTIONS_TABLE_PANE, |
.default_num = -1, |
.default_num = -1, |
.text = "Colour of the cursor." |
.text = "Colour of the cursor." |
|
}, |
|
|
|
{ .name = "cursor-style", |
|
.type = OPTIONS_TABLE_CHOICE, |
|
.scope = OPTIONS_TABLE_WINDOW|OPTIONS_TABLE_PANE, |
|
.choices = options_table_cursor_style_list, |
|
.default_num = 0, |
|
.text = "Style of the cursor." |
}, |
}, |
|
|
{ .name = "default-terminal", |
{ .name = "default-terminal", |