2002-07-19  Mark McLoughlin  <mark@skynet.ie>

        Based on patch from Arvind to fix #88430.

        * launcher.[ch]:
        (launcher_properties_destroy): impl to destroy the properties dialog.
        (destroy_launcher): use it.

        * panel.c: (panel_remove_applets): ditto.