*/
private Highlight getPaddedHighlight(Highlight highlight, int leftPad, int rightPad) {
int textBufferSize = getText().length();
HighlightPainter painter = highlight.getPainter();
int posStart = Math.max(0, highlight.getStartOffset() - leftPad);
int posEnd = Math.min(textBufferSize, highlight.getEndOffset() + rightPad);
try {
highlighter.removeHighlight(highlight);