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