render: add render_{enable,disable}_refresh()

Calling render_disable_refresh() causes update requests to that
terminal to be ignored.

Calling render_enable_refresh() re-enables updates.
This commit is contained in:
Daniel Eklöf 2020-01-12 12:19:38 +01:00
parent 5ef55a7f52
commit b2935e2b89
No known key found for this signature in database
GPG key ID: 5BBD4992C116573F
3 changed files with 27 additions and 0 deletions

View file

@ -292,6 +292,7 @@ struct terminal {
bool refresh_needed; /* Terminal needs to be re-rendered, as soon-as-possible */
int scrollback_lines; /* Number of scrollback lines, from conf (TODO: move out from render struct?) */
bool refresh_prohibited;
/* Render threads + synchronization primitives */
struct {
size_t count;