void (@NotNull Runnable consumerRunnable) { // Do not invoke in arbitrary background thread as due to parallel execution this could lead to cases when invokeLater() (from // sessionRefresher) is scheduled at first for history session with (as an example) 10 revisions (new buffered list) and then with // 5 revisions (previous buffered list). And so incorrect UI is shown to the user. consumerRunnable.run(); }