public void destroy(Widget wdg) { if ((mousegrab != null) && mousegrab.hasparent(wdg)) mousegrab = null; if ((keygrab != null) && keygrab.hasparent(wdg)) keygrab = null; wdg.destroy(); wdg.unlink(); removeid(wdg); }