// 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