void () { for (Editor editor : myActiveEditors) { EditorMarkupModel editorMarkupModel = (EditorMarkupModel)editor.getMarkupModel(); ErrorStripeRenderer renderer = editorMarkupModel.getErrorStripeRenderer(); if (renderer instanceof TrafficLightRenderer tlr) { tlr.invalidate(); } } }