leave(UNINSTALL);
leave(UNINSTALL | COMMIT);
	public void verifyKey(VerifyEvent event) {		switch (event.character) {		// [SHIFT-]TAB = hop between edit boxes		case 0x09:			{				Point selection= fViewer.getTextWidget().getSelection();				IRegion region= fViewer.getVisibleRegion();				int offset= selection.x + region.getOffset();				int length= selection.y - selection.x;								// if tab was treated as a document change, would it exceed variable range?				if (!LinkedPositionManager.includes(fFramePosition, offset, length)) {					leave(UNINSTALL | COMMIT | UPDATE_CARET);					return;				}			}					if (event.stateMask == SWT.SHIFT)				previous();			else 				next();									event.doit= false;			break;		// ESC = cancel		case 0x1B:			leave(UNINSTALL);			event.doit= false;			break;		}	}