ui: Refresh UI state only after every style refresh in each view finished (#917)

Separated UI refresh into 'style' and 'state' refresh to avoid race condition between task scheduler thread and UI thread that affected code view state.
fixes #916
This commit is contained in:
Eberhard Gräther
2020-02-11 01:19:44 +01:00
committed by GitHub
parent 9fc0a05c3b
commit 08f43173c0
11 changed files with 36 additions and 20 deletions
@@ -350,7 +350,7 @@ void UndoRedoController::handleMessage(MessageIndexingFinished* message)
m_iterator = m_list.end();
}
void UndoRedoController::handleMessage(MessageRefreshUI* message)
void UndoRedoController::handleMessage(MessageRefreshUIState* message)
{
std::list<Command>::iterator startIterator = m_iterator;
do