static void plugingui_loadbutton_cb (GtkWidget * wid, gpointer unused) { plugingui_load (); }
static void menu_loadplugin (void) { plugingui_load (); }