if (!event.doit)
if (!event.doit || !fIsActive)
	public void verifyKey(VerifyEvent event) {		if (!event.doit)			return;				Point selection= fViewer.getSelectedRange();		int offset= selection.x;		int length= selection.y;				ExitFlags exitFlags= fExitPolicy == null ? null : fExitPolicy.doExit(fManager, event, offset, length);		if (exitFlags != null) {			leave(UNINSTALL | exitFlags.flags);			event.doit= exitFlags.doit;			return;		}				switch (event.character) {		// [SHIFT-]TAB = hop between edit boxes		case 0x09:			{				// if tab was treated as a document change, would it exceed variable range?				if (!LinkedPositionManager.includes(fFramePosition, offset, length)) {					leave(UNINSTALL | COMMIT);					return;				}			}					if (event.stateMask == SWT.SHIFT)				previous();			else 				next();									event.doit= false;			break;		// ENTER		case 0x0A: // Ctrl+Enter		case 0x0D:			{			if (fAssistant != null && fAssistant.wasProposalChosen()) {				next();				event.doit= false;				break;			}						// if enter was treated as a document change, would it exceed variable range?				if (!LinkedPositionManager.includes(fFramePosition, offset, length)						|| (fFramePosition == fFinalCaretPosition)) {					leave(UNINSTALL | COMMIT);					return;				}			}						leave(UNINSTALL | COMMIT | UPDATE_CARET);			event.doit= false;			break;		// ESC		case 0x1B:			leave(UNINSTALL | COMMIT);			event.doit= false;			break;					case ';':			leave(UNINSTALL | COMMIT);			event.doit= true;			break;					default:			if (event.character != 0) {				if (!controlUndoBehavior(offset, length) || fFramePosition == fFinalCaretPosition) {					leave(UNINSTALL | COMMIT);					break;									}			}		}	}