--- a/src/main_gui.cpp Wed Dec 12 14:37:35 2007 +0000
+++ b/src/main_gui.cpp Wed Dec 12 21:56:10 2007 +0000
@@ -1677,12 +1677,12 @@
} break;
case WE_MOUSELOOP:
- if (w->IsWidgetLowered(0) != !!_pause_game) {
+ if (w->IsWidgetLowered(0) != (bool)_pause_game) {
w->ToggleWidgetLoweredState(0);
w->InvalidateWidget(0);
}
- if (w->IsWidgetLowered(1) != !!_fast_forward) {
+ if (w->IsWidgetLowered(1) != (bool)_fast_forward) {
w->ToggleWidgetLoweredState(1);
w->InvalidateWidget(1);
}
@@ -1986,12 +1986,12 @@
} break;
case WE_MOUSELOOP:
- if (w->IsWidgetLowered(0) != !!_pause_game) {
+ if (w->IsWidgetLowered(0) != (bool)_pause_game) {
w->ToggleWidgetLoweredState(0);
SetWindowDirty(w);
}
- if (w->IsWidgetLowered(1) != !!_fast_forward) {
+ if (w->IsWidgetLowered(1) != (bool)_fast_forward) {
w->ToggleWidgetLoweredState(1);
SetWindowDirty(w);
}