[SF#758] Fix crash in taskbar plugin after number of desktops was updated.
authorAndriy Grytsenko <andrej@rep.kiev.ua>
Mon, 15 Jun 2015 11:54:48 +0000 (14:54 +0300)
committerAndriy Grytsenko <andrej@rep.kiev.ua>
Mon, 15 Jun 2015 11:54:48 +0000 (14:54 +0300)
The pointer to invalid menu item was not reset, what's a shame.

ChangeLog
plugins/launchtaskbar.c

index 1390eac..bef51b8 100644 (file)
--- a/ChangeLog
+++ b/ChangeLog
@@ -1,3 +1,5 @@
+* Fixed crash in taskbar plugin after number of desktops was updated.
+
 0.8.1
 -------------------------------------------------------------------------
 * Improved OSS headers detection a bit.
index 062e149..a1b4fb9 100644 (file)
@@ -3348,6 +3348,8 @@ static void taskbar_make_menu(LaunchTaskBarPlugin * tb)
     /* Deallocate old menu if present. */
     if (tb->menu != NULL)
         gtk_widget_destroy(tb->menu);
+    /* The pointer to menu became invalid, reset it now. */
+    tb->workspace_menu0 = NULL;
 
     /* Allocate menu. */
     GtkWidget * menu = gtk_menu_new();