From 131e0f96308824f8f27b7564a32cb1c7d0992814 Mon Sep 17 00:00:00 2001 From: Thomas Bernard Date: Tue, 26 Jun 2018 14:02:19 +0200 Subject: [PATCH] win32 implementation of Update_status_line() --- src/win32screen.c | 2 ++ 1 file changed, 2 insertions(+) diff --git a/src/win32screen.c b/src/win32screen.c index 10cc640a..a14da75e 100644 --- a/src/win32screen.c +++ b/src/win32screen.c @@ -417,6 +417,8 @@ void Flush_update(void) void Update_status_line(short char_pos, short width) { + Update_rect((18+char_pos*8)*Menu_factor_X*Pixel_width, Menu_status_Y*Pixel_height, + width*8*Menu_factor_X*Pixel_width, 8*Menu_factor_Y*Pixel_height); } int SetPalette(const T_Components * colors, int firstcolor, int ncolors)