void WndSetToolBar( gui_event event ) { gui_event old; old = ToolEvent; ToolEvent = event; if( old != event ) { WndSetWndMax(); } }
void WndSetToolBar( gui_event gui_ev ) { gui_event old_gui_ev; old_gui_ev = ToolEvent; ToolEvent = gui_ev; if( old_gui_ev != gui_ev ) { WndSetWndMax(); } }