Index: plugins/launcher/launcher.c
===================================================================
--- plugins/launcher/launcher.c	(revision 23133)
+++ plugins/launcher/launcher.c	(working copy)
@@ -648,8 +648,8 @@
     return FALSE;
 }
 
-void
-launcher_recreate_menu (LauncherPlugin *launcher)
+static gboolean
+launcher_recreate_menu_idle (LauncherPlugin *launcher)
 {
     int i;
     
@@ -659,7 +659,7 @@
     if (launcher->entries->len <= 1)
     {
         gtk_widget_hide (launcher->arrowbutton);
-        return;
+        return FALSE;
     }
     
     launcher->menu = gtk_menu_new ();
@@ -711,9 +711,17 @@
     {
         g_idle_add ((GSourceFunc) load_menu_icons, launcher);
     }
+    
+    return FALSE;
 }
 
 void
+launcher_recreate_menu (LauncherPlugin *launcher)
+{
+    g_idle_add ((GSourceFunc) launcher_recreate_menu_idle, launcher);
+}
+
+void
 launcher_update_panel_entry (LauncherPlugin *launcher)
 {    
     char tip[512];