# HG changeset patch
# User phoku@33b003aa-7bff-0310-803a-e67f0ece8222
# Date 1237489447 0
# Node ID e901bdec7578bb0b52d2e6087e67ff4929bf9957
# Parent  6d09d310943b765cedede7f6eb1577c9c70464aa
Free mouse from GUI if no widget is dragged.

diff -r 6d09d310943b -r e901bdec7578 engine/core/gui/guimanager.cpp
--- a/engine/core/gui/guimanager.cpp	Thu Mar 19 18:23:00 2009 +0000
+++ b/engine/core/gui/guimanager.cpp	Thu Mar 19 19:04:07 2009 +0000
@@ -109,6 +109,9 @@
 					return true;
 				}
 				if( m_had_mouse ) {
+					// We only keep the mouse if a widget/window has requested
+					// dragging.
+					m_had_mouse = bool(m_focushandler->getDraggedWidget());
 					input->pushInput(evt);
 					return true;
 				}