- Timestamp:
- Mar 10, 2011 5:33:21 PM (14 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:
- 00b76931
- Parents:
- c399004
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
guiframe/gui_manager.py
rae83ad3 rc9937c0 947 947 self._mgr.GetPane(self.panels["default"].window_name).Hide() 948 948 self._mgr.Update() 949 print "gui_manager hide_panel" 950 949 950 def delete_panel(self, uid): 951 """ 952 delete panel given uid 953 """ 954 ID = str(uid) 955 config.printEVT("delete_panel: %s" % ID) 956 if ID in self.panels.keys(): 957 self._mgr.DetachPane(self.panels[ID]) 958 del self.panels[ID] 959 self._mgr.Update() 960 951 961 def clear_panel(self): 952 962 """
Note: See TracChangeset
for help on using the changeset viewer.