Index: src/ui/frames.c
===================================================================
--- src/ui/frames.c	(revision 3866)
+++ src/ui/frames.c	(working copy)
@@ -1388,6 +1388,7 @@
       event->button == 1 &&
       event->type == GDK_2BUTTON_PRESS)
     {
+      meta_core_end_grab_op (gdk_display, event->time);
       return meta_frame_double_click_event (frame, event);
     }
 
