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);
 }