public void type(KeyEvent ev) {
		setmods(ev);
		if (keygrab == null) {
			if (!root.type(ev.getKeyChar(), ev))
				root.globtype(ev.getKeyChar(), ev);
		} else {
			keygrab.type(ev.getKeyChar(), ev);
		}
	}