Ticket #33059: patch-src-arch-unix-x11-gnome-x11ui.c.diff

src/arch/unix/x11/gnome/x11ui.c

@@ -340 +340 @@
 static int mouse_grabbed = 0;
 static void mouse_cursor_grab(int grab, GdkCursor *cursor)
 {
-    GdkWindow *window = get_active_toplevel()->window;
+    GtkWidget *widget = get_active_toplevel();
+    GdkWindow *window = widget ? widget->window : NULL;
     if (mouse_grabbed) {
         gdk_keyboard_ungrab(GDK_CURRENT_TIME);
         gdk_pointer_ungrab(GDK_CURRENT_TIME);
@@ -3210 +3211 @@
         gdk_flush();
         gdk_window_raise(toplevel->window);
     }
-}
- No newline at end of file
+}