src/misc_gui.cpp
changeset 10481 0c7aed4edabe
parent 10475 6b7ca9f978f0
child 10484 e8beb2845f13
--- 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;