Merge lp:~widelands-dev/widelands/bug-1654989-fuzzy-terrain-images into lp:widelands

[GunChleoc]

Blit pictorial checkboxes pixel perfect.

Editor terrain messages are no longer fuzzy.

[kaputtnik (franku)]

Small change, great result :D

review: Approve (testing)

[bunnybot (widelandsofficial)]

Continuous integration builds have changed state:

Travis build 1830. State: passed. Details: https://travis-ci.org/widelands/widelands/builds/193309204.
Appveyor build 1668. State: success. Details: https://ci.appveyor.com/project/widelands-dev/widelands/build/_widelands_dev_widelands_bug_1654989_fuzzy_terrain_images-1668.

[GunChleoc (gunchleoc)]

It's the little things that count... :P

@bunnybot merge

=== modified file 'src/ui_basic/checkbox.cc'
--- src/ui_basic/checkbox.cc	2016-10-25 08:11:31 +0000
+++ src/ui_basic/checkbox.cc	2017-01-19 08:24:46 +0000
@@ -114,7 +114,7 @@
 		const uint16_t w = pic_graphics_->width();
 		const uint16_t h = pic_graphics_->height();
 
-		dst.blit(Vector2f((get_inner_w() - w) / 2., (get_inner_h() - h) / 2.), pic_graphics_);
+		dst.blit(Vector2f((get_inner_w() - w) / 2, (get_inner_h() - h) / 2), pic_graphics_);
 
 		if (flags_ & Is_Checked) {
 			dst.draw_rect(Rectf(0.f, 0.f, get_w(), get_h()), RGBColor(229, 116, 2));