widget-deletion operations are being updated in GUI