--- a/src/core.c Thu Oct 31 01:04:43 2002 +0000 +++ b/src/core.c Thu Oct 31 01:08:07 2002 +0000 @@ -202,14 +202,6 @@ /* XXX need to broadcast to UIs that plugin has been unloaded */ } break; - case CUI_PLUGIN_RELOAD: - memcpy(&id, data, sizeof(id)); - p = g_list_nth_data(plugins, id); - if (p) { - p = reload_plugin(p); - /* XXX need to broadcast to UIs that plugin has been reloaded */ - } - break; default: debug_printf("unhandled plugin subtype %d\n", subtype); break;