void (SnippetRenderingData result) { if (result == null) return; setText(result.getText()); getEditor().getGutterComponentEx().updateUI(); getEditor().getMarkupModel().removeAllHighlighters(); highlightRange(result.getSelectionRange()); }