Index: launcher.c =================================================================== --- launcher.c (revision 23113) +++ launcher.c (working copy) @@ -651,8 +651,14 @@ void launcher_recreate_menu (LauncherPlugin *launcher) { + static gboolean protect = FALSE; int i; - + + if (protect) + return; + + protect = TRUE; + if (launcher->menu) launcher_destroy_menu (launcher); @@ -664,6 +670,8 @@ launcher->menu = gtk_menu_new (); + protect = FALSE; + for (i = launcher->entries->len - 1; i > 0; --i) { GtkWidget *mi;