mudgangster

commit 08b2e54d2109b16f3c467e0ab683145b1211d15d
parent f033f811d1d2cb2f17416878ae7373b2accb57a3
Author: Michael Savage <mikejsavage@gmail.com>
Date:   Thu,  6 Sep 2018 13:21:44 +0300

Double top right fix for Windows too

Diffstat:
src/win32.cc
 | 
2
+-

1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/win32.cc b/src/win32.cc
@@ -233,7 +233,7 @@ void ui_draw_char( int left, int top, char c, Colour colour, bool bold, bool for
 
 	if( uint8_t( c ) == 187 ) { // double top right
 		ui_fill_rect( left, top + top_spacing - 1, right_spacing + 1, 1, colour, bold );
-		ui_fill_rect( left + left_spacing + 1, top + top_spacing, 1, bot_spacing + 1, colour, bold );
+		ui_fill_rect( left + left_spacing + 1, top + top_spacing - 1, 1, bot_spacing + 1, colour, bold );
 		ui_fill_rect( left, top + top_spacing + 1, right_spacing - 1, 1, colour, bold );
 		ui_fill_rect( left + left_spacing - 1, top + top_spacing + 1, 1, bot_spacing - 1, colour, bold );
 		return;