Searched defs:wgtkill (Results 1 – 1 of 1) sorted by relevance
873 Widget *wgt, *wgtkill; in window_kill() local2194 Widget *wgt, *wgtlast, *wgtkill; in toolkit_purgeDead() local