src/core.c

changeset 3837
c1a50ee51fa5
parent 3716
172593593072
child 3906
54a106cace07
--- 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;

mercurial