src/misc_gui.cpp
changeset 9161 fda175383e87
parent 9155 8f090e825bf0
child 9164 18e971e0b44f
--- a/src/misc_gui.cpp	Fri May 09 07:47:30 2008 +0000
+++ b/src/misc_gui.cpp	Fri May 09 09:29:27 2008 +0000
@@ -401,7 +401,7 @@
 			if (_right_button_down) delete w;
 			break;
 
-		case WE_4:
+		case WE_100_TICKS:
 			if (--_errmsg_duration == 0) delete w;
 			break;