public interface EditorMarkupModel extends MarkupModel
Modifier and Type | Method and Description |
---|---|
void |
addErrorMarkerListener(ErrorStripeListener listener,
Disposable parent) |
Editor |
getEditor() |
ErrorStripeRenderer |
getErrorStripeRenderer() |
ErrorStripTooltipRendererProvider |
getErrorStripTooltipRendererProvider() |
boolean |
isErrorStripeVisible() |
void |
setErrorPanelPopupHandler(PopupHandler handler) |
void |
setErrorStripeRenderer(ErrorStripeRenderer renderer) |
void |
setErrorStripeVisible(boolean val) |
void |
setErrorStripTooltipRendererProvider(ErrorStripTooltipRendererProvider provider) |
void |
setMinMarkHeight(int minMarkHeight) |
addLineHighlighter, addRangeHighlighter, getAllHighlighters, getDocument, removeAllHighlighters, removeHighlighter
getUserData, putUserData
Editor getEditor()
void setErrorStripeVisible(boolean val)
void setErrorStripeRenderer(ErrorStripeRenderer renderer)
ErrorStripeRenderer getErrorStripeRenderer()
void addErrorMarkerListener(ErrorStripeListener listener, Disposable parent)
void setErrorPanelPopupHandler(PopupHandler handler)
void setErrorStripTooltipRendererProvider(ErrorStripTooltipRendererProvider provider)
ErrorStripTooltipRendererProvider getErrorStripTooltipRendererProvider()
void setMinMarkHeight(int minMarkHeight)
boolean isErrorStripeVisible()