void () { try { myUpdateAlarm.cancelAllRequests(); Project project = myEditor.getProject(); if (myEditor.isDisposed() || project != null && project.isDisposed()) { return; } if (isSomethingChanged()) { updateEditor(false); } if (System.currentTimeMillis() <= myEndHighlightPreviewChangesTimeMillis && !myPreviewRangesToHighlight.isEmpty()) { blinkHighlighters(); myUpdateAlarm.addComponentRequest(this, 500); } else { myEditor.getMarkupModel().removeAllHighlighters(); } } finally { setSomethingChanged(false); } }