void (@NotNull RangeHighlighterEx h) { ErrorStripeMarkerImpl marker = new ErrorStripeMarkerImpl(myEditor.getDocument(), h); treeFor(h).addInterval(marker, h.getStartOffset(), h.getEndOffset(), h.isGreedyToLeft(), h.isGreedyToRight(), (h instanceof RangeMarkerImpl) && ((RangeMarkerImpl)h).isStickingToRight(), h.getLayer()); EdtInvocationManager.invokeLaterIfNeeded(() -> { if (!myEditor.isDisposed()) { myListeners.forEach(l -> l.errorMarkerChanged(new ErrorStripeEvent(myEditor, null, h))); } }); }