-
Sebastien Granjoux authored
The drag operations are using gdk_pointer_grab automatically. We need to abort the drag operation if this grab is removed. This happens by example if the grip widget is hidden.
38f9490b
The drag operations are using gdk_pointer_grab automatically. We need to abort the drag operation if this grab is removed. This happens by example if the grip widget is hidden.