leave(true);
leave(UNINSTALL | COMMIT | UPDATE_CARET);
	private void next() {		redrawRegion();				fFramePosition= fManager.getNextPosition(fFramePosition.getOffset());		if (fFramePosition == null) {			leave(true);		} else {			selectRegion();			redrawRegion();		}	}