// Created: 15.11.99
// RCS-ID: $Id$
// Copyright: (c) wxWidgets team
-// Licence: wxWidgets licence
+// Licence: wxWindows licence
/////////////////////////////////////////////////////////////////////////////
#ifndef _WX_FRAME_H_BASE_
// send wxUpdateUIEvents for all menu items in the menubar,
// or just for menu if non-NULL
- void DoMenuUpdates(wxMenu* menu = NULL);
+ virtual void DoMenuUpdates(wxMenu* menu = NULL);
#endif // wxUSE_MENUS
// do the UI update processing for this window