widelands-dev team mailing list archive

[SirVer <SirVer@xxxxxx>]

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();
 		});