- // return the pointer to the current window menu or NULL if we don't have
- // because of wxFRAME_NO_WINDOW_MENU style
- wxMenu *GetWindowMenu() const { return m_windowMenu; }
-
- // use the given menu instead of the default window menu
- //
- // menu can be NULL to disable the window menu completely
- void SetWindowMenu(wxMenu* menu) ;
-
- virtual void DoMenuUpdates(wxMenu* menu = NULL);
-
- // MDI operations
- // --------------