main_gui.c
changeset 5354 5f13377c7c78
parent 5352 82a50c80b0c4
child 5410 68d63813dd0e
child 5623 ef2a8a524a95
child 5664 dbbf4f842a00
--- a/main_gui.c	Thu Dec 21 10:41:10 2006 +0000
+++ b/main_gui.c	Thu Dec 21 11:34:50 2006 +0000
@@ -1657,6 +1657,7 @@
 		break;
 	case WE_TIMEOUT:
 		RaiseWindowWidget(w, 3);
+		InvalidateWidget(w, 3);
 		break;
 	}
 }