widelands-dev team mailing list archive

[GunChleoc <fios@xxxxxxxxxxxxxxxxxxx>]

GunChleoc has proposed merging lp:~widelands-dev/widelands/bug-1654989-fuzzy-terrain-images into lp:widelands.

Commit message:
Blit pictorial checkboxes pixel perfect.

Requested reviews:
  Widelands Developers (widelands-dev)
Related bugs:
  Bug #1654989 in widelands: "Editor terrain menu: washy images"
  https://bugs.launchpad.net/widelands/+bug/1654989

For more details, see:
https://code.launchpad.net/~widelands-dev/widelands/bug-1654989-fuzzy-terrain-images/+merge/315095

Editor terrain messages are no longer fuzzy.
-- 
Your team Widelands Developers is requested to review the proposed merge of lp:~widelands-dev/widelands/bug-1654989-fuzzy-terrain-images into lp:widelands.

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