From de8de62a90ef6c945aaf3c28366394868b6f4896 Mon Sep 17 00:00:00 2001 From: HomeWorld Date: Mon, 17 Jan 2011 06:43:11 +0200 Subject: [PATCH] Disabled preferences menu item (for rc2 release) --- gui/mainMenuBar.py | 14 ++++++++------ 1 file changed, 8 insertions(+), 6 deletions(-) diff --git a/gui/mainMenuBar.py b/gui/mainMenuBar.py index 7c01c892e..f74269e87 100644 --- a/gui/mainMenuBar.py +++ b/gui/mainMenuBar.py @@ -81,17 +81,19 @@ class MainMenuBar(wx.MenuBar): graphFrameItem.SetBitmap(bitmapLoader.getBitmap("graphs_small", "icons")) windowMenu.AppendItem(graphFrameItem) - preferencesItem = wx.MenuItem(windowMenu, self.preferencesId, "Preferences\tCTRL+P") - preferencesItem.SetBitmap(bitmapLoader.getBitmap("preferences_small", "icons")) - windowMenu.AppendItem(preferencesItem) - -# graphFrameItem.Enable(gui.graphFrame.enabled) + #======================================================================= + # DISABLED FOR RC2 Release + # + # preferencesItem = wx.MenuItem(windowMenu, self.preferencesId, "Preferences\tCTRL+P") + # preferencesItem.SetBitmap(bitmapLoader.getBitmap("preferences_small", "icons")) + # windowMenu.AppendItem(preferencesItem) + #======================================================================= # Help menu helpMenu = wx.Menu() self.Append(helpMenu, "&Help") helpMenu.Append(wx.ID_ABOUT) - #helpMenu.Append(wx.ID_HELP, "User manual", "User manual") + if config.debug: helpMenu.Append(911,"Open Widgets Inspect tool", "Open Widgets Inspect tool")