/** @see IPainter#deactivate */
public final void deactivate(final boolean redraw) {
if (mIsActive) {
mIsActive = false;
mTextWidget.removePaintListener(this);
if (mPositionManager != null) {
mPositionManager.unmanagePosition(mBracketPosition);
}
if (redraw) {
handleDrawRequest(null);
}
}
}
public void deactivate(boolean redraw) {
if (fIsActive) {
fIsActive = false;
/*
* on turning off the feature one has to paint the currently highlighted line with the standard background
* color
*/
if (redraw) drawHighlightLine(fCurrentLine);
fViewer.getTextWidget().removeLineBackgroundListener(this);
fViewer.getTextWidget().removePaintListener(this);
if (fPositionManager != null) fPositionManager.unmanagePosition(fCurrentLine);
fLastLineNumber = -1;
fCurrentLine.offset = 0;
fCurrentLine.length = 0;
}
}
/**
* Removes the control from this manager. Unmanages this position,
*
* @param c the control to remove
* @param doRemove whether or not this control should be completely removed, or just temporarily
* (eg- during a save)
* @return the position of the removed control
*/
private Position removeControl(ContainedEditorManager c, boolean doRemove) {
Position p;
if (doRemove) {
p = editorPositionMap.remove(c);
} else {
p = editorPositionMap.get(c);
}
try {
ppManager.unmanagePosition(p);
if (doRemove && !p.isDeleted()) {
// Position projected = modelToProjected(p);
// styledText.replaceStyleRanges(projected.offset, projected.length, new
// StyleRange[0]);
styledText.replaceStyleRanges(p.offset, p.length, new StyleRange[0]);
}
} catch (NullPointerException e) {
// do nothing...trying to unmanage posn after
// document has already been uninstalled.
}
c.removeListener(this);
c.dispose();
return p;
}
