Commit 07b75015 authored by Christian Hergert's avatar Christian Hergert

workbench: remove action groups when destroying window

parent e75aae97
......@@ -186,6 +186,11 @@ ide_workbench_delete_event (GtkWidget *widget,
*/
gtk_widget_hide (GTK_WIDGET (self));
dzl_gtk_widget_mux_action_groups (GTK_WIDGET (self), NULL, "IDE_PERSPECTIVE_ACTIONS");
gtk_widget_insert_action_group (GTK_WIDGET (self), "build-manager", NULL);
gtk_widget_insert_action_group (GTK_WIDGET (self), "run-manager", NULL);
gtk_widget_insert_action_group (GTK_WIDGET (self), "device-manager", NULL);
/*
* Now start unloading addins, which will cascade into the removal
* of perspectives and other bits and pieces (like editor addins).
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment