Fix screen not being refreshed immediately after moving a window. Fixes #397

This commit is contained in:
Kovid Goyal
2018-03-16 22:00:57 +05:30
parent 16e77d7329
commit 773f26b61d
3 changed files with 5 additions and 2 deletions

View File

@@ -201,6 +201,7 @@ static inline void
set_active_tab(id_type os_window_id, unsigned int idx) {
WITH_OS_WINDOW(os_window_id)
os_window->active_tab = idx;
os_window->needs_render = true;
END_WITH_OS_WINDOW
}
@@ -208,6 +209,7 @@ static inline void
set_active_window(id_type os_window_id, id_type tab_id, unsigned int idx) {
WITH_TAB(os_window_id, tab_id)
tab->active_window = idx;
osw->needs_render = true;
END_WITH_TAB;
}