if (!fManager.anyPositionIncludes(offset, length)) { leave(true); event.doit= false; }
if (!fManager.anyPositionIncludes(offset, length)) leave(UNINSTALL | COMMIT);
	public void verifyText(VerifyEvent event) {		if (!event.doit)			return;		int offset= event.start;		int length= event.end - event.start;		// allow changes only within linked positions		if (!fManager.anyPositionIncludes(offset, length)) {			leave(true);			event.doit= false;		}	}