public void mousedown(MouseEvent ev, Coord c, int button) {
		setmods(ev);
		lcc = mc = c;
		if (mousegrab == null)
			root.mousedown(c, button);
		else
			mousegrab.mousedown(wdgxlate(c, mousegrab), button);
	}