/** * Sets whether to highlight the character at caret location or not. * * @param highlightCharacterAtCaretLocation whether to highlight the character at caret location * or not * @since 3.8 */ public void setHighlightCharacterAtCaretLocation(boolean highlightCharacterAtCaretLocation) { handleDrawRequest(null); // see https://bugs.eclipse.org/372515 fHighlightCharacterAtCaretLocation= highlightCharacterAtCaretLocation; }
/** * Sets whether to highlight the character at caret location or not. * * @param highlightCharacterAtCaretLocation whether to highlight the character at caret location * or not * @since 3.8 */ public void setHighlightCharacterAtCaretLocation(boolean highlightCharacterAtCaretLocation) { handleDrawRequest(null); // see https://bugs.eclipse.org/372515 fHighlightCharacterAtCaretLocation= highlightCharacterAtCaretLocation; }
@Override public void paintControl(PaintEvent event) { if (fTextWidget != null) handleDrawRequest(event.gc); }
@Override public void paintControl(PaintEvent event) { if (fTextWidget != null) handleDrawRequest(event.gc); }
@Override public void deactivate(boolean redraw) { if (fIsActive) { fIsActive= false; fTextWidget.removePaintListener(this); if (fPaintPositionManager != null) fPaintPositionManager.unmanagePosition(fPairPosition); if (redraw) handleDrawRequest(null); } fPreviousSelection= null; }
@Override public void deactivate(boolean redraw) { if (fIsActive) { fIsActive= false; fTextWidget.removePaintListener(this); if (fPaintPositionManager != null) fPaintPositionManager.unmanagePosition(fPairPosition); if (redraw) handleDrawRequest(null); } fPreviousSelection= null; }
if (fCharacterPresentAtCaretLocation && !fHighlightCharacterAtCaretLocation) { fCharacterPresentAtCaretLocation= false; handleDrawRequest(null); handleDrawRequest(null); handleDrawRequest(null); fCharacterPresentAtCaretLocation= characterPresentAtCaretLocation; handleDrawRequest(null); handleDrawRequest(null);
if (fCharacterPresentAtCaretLocation && !fHighlightCharacterAtCaretLocation) { fCharacterPresentAtCaretLocation= false; handleDrawRequest(null); handleDrawRequest(null); handleDrawRequest(null); fCharacterPresentAtCaretLocation= characterPresentAtCaretLocation; handleDrawRequest(null); handleDrawRequest(null);