- Timestamp:
- May 7, 2014 11:45:42 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:
- 7a54730
- Parents:
- ac5b69d
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
src/sans/guiframe/gui_manager.py
r98816c43 rc81aa18 776 776 # Append item from plugin under menu file if necessary 777 777 self._populate_file_menu() 778 779 778 780 if not wx.VERSION_STRING >= '3.0.0.0': 779 781 self.SetMenuBar(self._menubar) … … 1491 1493 self._file_menu.AppendSeparator() 1492 1494 1493 def _add_menu_file(self):1494 """1495 add menu file1496 """1497 1498 # File menu1499 self._file_menu = wx.Menu()1500 1495 style1 = self.__gui_style & GUIFRAME.MULTIPLE_APPLICATIONS 1501 1496 if OPEN_SAVE_MENU: … … 1527 1522 wx.EVT_MENU(self, id, self._on_save_application) 1528 1523 self._file_menu.AppendSeparator() 1529 1530 1524 id = wx.NewId() 1531 1525 self._file_menu.Append(id, '&Quit', 'Exit') 1532 1526 wx.EVT_MENU(self, id, self.Close) 1527 1528 def _add_menu_file(self): 1529 """ 1530 add menu file 1531 """ 1532 # File menu 1533 self._file_menu = wx.Menu() 1533 1534 # Add sub menus 1534 1535 self._menubar.Append(self._file_menu, '&File')
Note: See TracChangeset
for help on using the changeset viewer.