Add a cursor-style option, from Alexis Hildebrandt in GitHub issue 2960.

This commit is contained in:
nicm
2021-11-03 13:37:17 +00:00
parent 200b6536e1
commit 57100376cc
7 changed files with 91 additions and 36 deletions

View File

@ -1122,6 +1122,14 @@ options_push_changes(const char *name)
wp->screen->default_ccolour = c;
}
}
if (strcmp(name, "cursor-style") == 0) {
RB_FOREACH(wp, window_pane_tree, &all_window_panes) {
wp->screen->default_mode = 0;
screen_set_cursor_style(options_get_number(wp->options,
name), &wp->screen->default_cstyle,
&wp->screen->default_mode);
}
}
if (strcmp(name, "key-table") == 0) {
TAILQ_FOREACH(loop, &clients, entry)
server_client_set_key_table(loop, NULL);