Merge lp:~widelands-dev/widelands/fix_resolution_change_mouse_bug into lp:widelands

[SirVer]

Resize MapView if resolution changes.

[kaputtnik (franku)]

The bug is fixed :-)

review: Approve (testing)

[bunnybot (widelandsofficial)]

Continuous integration builds have changed state:

Travis build 2676. State: failed. Details: https://travis-ci.org/widelands/widelands/builds/276586857.
Appveyor build 2497. State: success. Details: https://ci.appveyor.com/project/widelands-dev/widelands/build/_widelands_dev_widelands_fix_resolution_change_mouse_bug-2497.

[SirVer (sirver)]

Thanks. There is not much code to review, so I'm gonna merge.

@bunnybot merge

[bunnybot (widelandsofficial)]

Continuous integration builds have changed state:

Travis build 2676. State: passed. Details: https://travis-ci.org/widelands/widelands/builds/276586857.
Appveyor build 2497. State: success. Details: https://ci.appveyor.com/project/widelands-dev/widelands/build/_widelands_dev_widelands_fix_resolution_change_mouse_bug-2497.

[GunChleoc (gunchleoc)]

LTGM

review: Approve

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