- Timestamp:
- Jun 17, 2011 8:34:25 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:
- 85b7a8c
- Parents:
- 277a5b8a
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
guiframe/gui_manager.py
r277a5b8a rb6b621f 2350 2350 panel.draw_plot() 2351 2351 #panel._resizeflag = False 2352 if not self._mgr.GetPane(panel.window_name).IsDocked (): 2353 self._mgr.GetPane(panel.window_name).Hide() 2354 self._mgr.Update() 2355 print "isHide=",self._mgr.GetPane(panel.window_name).IsShown() 2356 self._mgr.GetPane(panel.window_name).Show() 2357 self._mgr.Update() 2358 print "isshow=",self._mgr.GetPane(panel.window_name).IsShown() 2352 2359 2353 # Check if the panel is not shown 2360 2354 if not self._mgr.GetPane(panel.window_name).IsShown(): … … 2424 2418 self.idletimer.Restart(55, *args, **kwargs) 2425 2419 2420 def refresh_floating(self, panel): 2421 """ 2422 """ 2423 if self._mgr.GetPane(panel.window_name).IsDocked (): 2424 return 2425 self._mgr.GetPane(panel.window_name).Hide() 2426 #self._mgr.Update() 2427 print "isHide=",self._mgr.GetPane(panel.window_name).IsShown() 2428 self._mgr.GetPane(panel.window_name).Show() 2429 #self._mgr.Update() 2430 print "isshow=",self._mgr.GetPane(panel.window_name).IsShown() 2426 2431 2427 2432 class DefaultPanel(wx.Panel, PanelBase):
Note: See TracChangeset
for help on using the changeset viewer.