--- a/main_gui.c Tue Nov 07 13:09:44 2006 +0000
+++ b/main_gui.c Tue Nov 07 14:41:53 2006 +0000
@@ -879,7 +879,6 @@
vp->virtual_width <<= 1;
vp->virtual_height <<= 1;
break;
- default: return false;
}
SetWindowDirty(w);
@@ -2413,13 +2412,9 @@
{
Window *w;
- if (_game_mode != GM_EDITOR) {
- w = AllocateWindowDesc(&_toolb_normal_desc);
- DisableWindowWidget(w, 18);
- } else {
- w = AllocateWindowDesc(&_toolb_scen_desc);
- DisableWindowWidget(w, 10);
- }
+ w = AllocateWindowDesc((_game_mode != GM_EDITOR) ? &_toolb_normal_desc : &_toolb_scen_desc);
+ DoZoomInOutWindow(ZOOM_NONE, w);
+
CLRBITS(w->flags4, WF_WHITE_BORDER_MASK);
SetWindowWidgetDisabledState(w, 0, _networking && !_network_server); // if not server, disable pause button