- Timestamp:
- Apr 9, 2014 9:05:12 AM (11 years ago)
- Branches:
- master, ESS_GUI, ESS_GUI_Docs, ESS_GUI_batch_fitting, ESS_GUI_bumps_abstraction, ESS_GUI_iss1116, ESS_GUI_iss879, ESS_GUI_iss959, ESS_GUI_opencl, ESS_GUI_ordering, ESS_GUI_sync_sascalc, costrafo411, magnetic_scatt, release-4.1.1, release-4.1.2, release-4.2.2, release_4.0.1, ticket-1009, ticket-1094-headless, ticket-1242-2d-resolution, ticket-1243, ticket-1249, ticket885, unittest-saveload
- Children:
- 8001331
- Parents:
- d11d1aa
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
src/sans/guiframe/gui_manager.py
rd11d1aa r6a4511d1 764 764 self._menubar = wx.MenuBar() 765 765 self.SetMenuBar(self._menubar) 766 # Set up the layout767 self._setup_layout()768 769 # Set up the menu770 766 self._add_menu_file() 771 767 self._add_menu_edit() … … 773 769 self._add_menu_application() 774 770 self._add_menu_tool() 771 # Set up the layout 772 self._setup_layout() 773 774 # Set up the menu 775 775 self._add_current_plugin_menu() 776 776 self._add_help_menu() 777 # Append item from plugin under menu file if necessary 778 self._populate_file_menu() 777 779 778 780 try: … … 1491 1493 # File menu 1492 1494 self._file_menu = wx.Menu() 1493 #append item from plugin under menu file if necessary1494 self._populate_file_menu()1495 1495 style1 = self.__gui_style & GUIFRAME.MULTIPLE_APPLICATIONS 1496 1496 if OPEN_SAVE_MENU:
Note: See TracChangeset
for help on using the changeset viewer.