widelands-dev team mailing list archive
-
widelands-dev team
-
Mailing list archive
-
Message #00666
[Merge] lp:~gamag/widelands/Bug892773 into lp:widelands
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();
}
Follow ups