diff -r 3488c5cb9cf5 -r 1cc919eae2eb src/plugins.c
--- a/src/plugins.c	Sat Mar 09 03:11:02 2002 +0000
+++ b/src/plugins.c	Sat Mar 09 18:39:46 2002 +0000
@@ -189,7 +189,7 @@
 	gtk_widget_show(tophbox);
 
 	/* Left side: frame with list of plugin file names */
-	frame = gtk_frame_new(_("Plugins"));
+	frame = gtk_frame_new(_("Loaded Plugins"));
 	gtk_box_pack_start(GTK_BOX(tophbox), frame, FALSE, FALSE, 0);
 	gtk_widget_set_usize(frame, 140, -1);
 	gtk_container_set_border_width(GTK_CONTAINER(frame), 6);