delete_window() goes through xobjs.windowlist to remove all pointers to the 
window
being deleted. Yet it also frees the window's select lists and stacks each time
it encounters the window in the windowlist. This possibly can lead to multiple 
deletion.
It should delete the select list and stacks right before the free(searchwin) 
call.

Cheers, Kuba
_______________________________________________
Xcircuit-dev mailing list
[email protected]
http://www.opencircuitdesign.com/mailman/listinfo/xcircuit-dev

Reply via email to