public boolean mousewheel(Coord c, int amount) {
for (Widget wdg = lchild; wdg != null; wdg = wdg.prev) {
if (!wdg.visible) continue;
Coord cc = xlate(wdg.c, true);
if (c.isect(cc, wdg.sz)) {
if (wdg.mousewheel(c.add(cc.inv()), amount)) {
return (true);
}
}
}
return (false);
}
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);
}