SirVer has proposed merging
lp:~widelands-dev/widelands/fix_resolution_change_mouse_bug into lp:widelands.
Commit message:
Resize MapView if resolution changes.
Requested reviews:
Widelands Developers (widelands-dev)
Related bugs:
Bug #1717696 in widelands: "Mouse click-selector can't reach bottom and right
side when switching to fullscreen"
https://bugs.launchpad.net/widelands/+bug/1717696
For more details, see:
https://code.launchpad.net/~widelands-dev/widelands/fix_resolution_change_mouse_bug/+merge/330888
--
Your team Widelands Developers is requested to review the proposed merge of
lp:~widelands-dev/widelands/fix_resolution_change_mouse_bug into lp:widelands.
=== modified file 'src/wui/interactive_base.cc'
--- src/wui/interactive_base.cc 2017-09-15 19:18:08 +0000
+++ src/wui/interactive_base.cc 2017-09-17 18:20:50 +0000
@@ -151,6 +151,7 @@
graphic_resolution_changed_subscriber_ = Notifications::subscribe<GraphicResolutionChanged>(
[this](const GraphicResolutionChanged& message) {
set_size(message.width, message.height);
+ map_view_.set_size(message.width, message.height);
resize_chat_overlay();
adjust_toolbar_position();
});
_______________________________________________
Mailing list: https://launchpad.net/~widelands-dev
Post to : widelands-dev@lists.launchpad.net
Unsubscribe : https://launchpad.net/~widelands-dev
More help : https://help.launchpad.net/ListHelp
