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