diff -r d7160ce357d2 -r fda175383e87 src/settings_gui.cpp
--- a/src/settings_gui.cpp	Fri May 09 07:47:30 2008 +0000
+++ b/src/settings_gui.cpp	Fri May 09 09:29:27 2008 +0000
@@ -655,7 +655,7 @@
 					break;
 			} break;
 
-		case WE_MOUSELOOP: /* Handle the visual 'clicking' of the buttons */
+		case WE_TICK: /* Handle the visual 'clicking' of the buttons */
 			if (diffic_d->timeout != 0) {
 				diffic_d->timeout--;
 				if (diffic_d->timeout == 0) diffic_d->clicked_button = NO_SETTINGS_BUTTON;