widelands-dev team mailing list archive

[Gabriel Margiani <margianig@xxxxxxxxx>]

Gabriel Margiani has proposed merging lp:~gamag/widelands/Bug892773 into lp:widelands.

Requested reviews:
  Widelands Developers (widelands-dev)
Related bugs:
  Bug #892773 in widelands: "attack window blocks game"
  https://bugs.launchpad.net/widelands/+bug/892773

For more details, see:
https://code.launchpad.net/~gamag/widelands/Bug892773/+merge/94045

Fixes bug892773

Changes one line :)
-- 
https://code.launchpad.net/~gamag/widelands/Bug892773/+merge/94045
Your team Widelands Developers is requested to review the proposed merge of lp:~gamag/widelands/Bug892773 into lp:widelands.

=== modified file 'src/ui_basic/slider.cc'
--- src/ui_basic/slider.cc	2012-02-15 21:25:34 +0000
+++ src/ui_basic/slider.cc	2012-02-21 20:01:35 +0000
@@ -213,6 +213,7 @@
 	if (not enabled) {
 		m_pressed = false;
 		m_highlighted = false;
+		grab_mouse(false);
 	}
 	update();
 }