public boolean keyup(KeyEvent ev) {
if (focusctl) {
if (focused != null) {
if (focused.keyup(ev)) return (true);
return (false);
} else {
return (false);
}
} else {
for (Widget wdg = child; wdg != null; wdg = wdg.next) {
if (wdg.visible) {
if (wdg.keyup(ev)) return (true);
}
}
}
return (false);
}
public void keyup(KeyEvent ev) {
setmods(ev);
if (keygrab == null) root.keyup(ev);
else keygrab.keyup(ev);
}