[gnome-builder] workbench: ignore focus if we are in destruction

[Christian Hergert <chergert src gnome org>]

commit 234d49e4801f083778f1761999c259c709ff7271
Author: Christian Hergert <christian hergert me>
Date:   Mon Dec 15 16:25:20 2014 -0800

    workbench: ignore focus if we are in destruction

 src/workbench/gb-workbench.c |    2 +-
 1 files changed, 1 insertions(+), 1 deletions(-)
---
diff --git a/src/workbench/gb-workbench.c b/src/workbench/gb-workbench.c
index 99c0c80..2e51cd9 100644
--- a/src/workbench/gb-workbench.c
+++ b/src/workbench/gb-workbench.c
@@ -614,7 +614,7 @@ gb_workbench_set_focus (GtkWindow *window,
 
   GTK_WINDOW_CLASS (gb_workbench_parent_class)->set_focus (window, widget);
 
-  if (!widget)
+  if (!widget && !gtk_widget_in_destruction (GTK_WIDGET (window)))
     {
       GbWorkspace *workspace;