src/music_gui.cpp
changeset 9161 fda175383e87
parent 9143 029e126e3439
child 9273 35e0224ea8f1
--- a/src/music_gui.cpp	Fri May 09 07:47:30 2008 +0000
+++ b/src/music_gui.cpp	Fri May 09 09:29:27 2008 +0000
@@ -463,7 +463,7 @@
 		}
 		break;
 
-	case WE_MOUSELOOP:
+	case WE_TICK:
 		InvalidateWindowWidget(WC_MUSIC_WINDOW, 0, 7);
 		break;
 	}