openErrorDialog(fViewer.getTextWidget().getShell(), e);
Assert.isTrue(false);
	public void enter() {		// track final caret		IDocument document= fViewer.getDocument();		document.addPositionCategory(CARET_POSITION);		document.addPositionUpdater(fgUpdater);		try {			if (fFinalCaretOffset != -1)				document.addPosition(CARET_POSITION, new Position(fFinalCaretOffset));		} catch (BadLocationException e) { // ignore		} catch (BadPositionCategoryException e) {			JavaPlugin.log(e);			openErrorDialog(fViewer.getTextWidget().getShell(), e);		}		fViewer.addTextInputListener(this);						StyledText text= fViewer.getTextWidget();					text.addVerifyListener(this);		text.addVerifyKeyListener(this);		text.addModifyListener(this);		text.addPaintListener(this);		text.showSelection();		fFramePosition= fManager.getFirstPosition();		if (fFramePosition == null)			leave(true);	}