void () { RangeHighlighter[] highlighters = getEditor().getMarkupModel().getAllHighlighters(); int size = highlighters.length; if (size > 0) { RangeHighlighter h = highlighters[myRandom.nextInt(size)]; h.setGutterIconRenderer(h.getGutterIconRenderer() == null ? DUMMY_GUTTER_ICON_RENDERER : null); } }