- Timestamp:
- May 15, 2009 11:43:26 AM (16 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:
- 05971e1
- Parents:
- 7f7e5f1
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
guiframe/gui_manager.py
r63c7d85d rb8d7491 297 297 try: 298 298 list = os.listdir(dir) 299 for item in list:299 for item in reversed(list): 300 300 toks = os.path.splitext(os.path.basename(item)) 301 301 name = None … … 380 380 MinSize(wx.Size(500,500)). 381 381 Hide()) 382 383 382 else: 384 383 self.panels[str(id)] = p … … 394 393 Hide(). 395 394 BestSize(wx.Size(550,600)). 396 MinSize(wx.Size(500,500))) 397 398 395 MinSize(wx.Size(500,500))) 399 396 400 397 … … 493 490 # plug-in panels and add them all. 494 491 495 # Only add the panel menu if there is more than one panel492 # Only add the panel menu if there is more than two panels 496 493 n_panels = 0 497 494 for plug in self.plugins: … … 500 497 n_panels += 1 501 498 502 if n_panels> 1:499 if n_panels>2: 503 500 viewmenu = wx.Menu() 504 501 for plug in self.plugins: … … 518 515 519 516 viewmenu.AppendMenu(wx.NewId(), plug.sub_menu, plugmenu, plug.sub_menu) 520 521 517 menubar.Append(viewmenu, '&Panel') 522 518 … … 616 612 from data_loader import plot_data 617 613 path = self.choose_file() 614 618 615 if path ==None: 619 616 return
Note: See TracChangeset
for help on using the changeset viewer.