- Timestamp:
- Jun 19, 2011 4:41:55 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:
- 5c3d2d3
- Parents:
- 054c10a
- Location:
- guiframe
- Files:
-
- 3 edited
Legend:
- Unmodified
- Added
- Removed
-
guiframe/gui_manager.py
rb770c3d r4520830 121 121 PLUGINS_WLIST = '' 122 122 APPLICATION_WLIST = config.APPLICATION_WLIST 123 if sys.platform.count("darwin")==0: 124 IS_WIN = True 125 else: 126 IS_WIN = False 123 127 124 128 class ViewerFrame(wx.Frame): … … 622 626 Left(). 623 627 MinimizeButton(). 624 CloseButton( True).628 CloseButton(IS_WIN). 625 629 TopDockable(False). 626 630 BottomDockable(False). -
guiframe/local_perspectives/plotting/Plotter1D.py
rf6f125d r4520830 149 149 self.x_size = self.GetSize() 150 150 # Ready for another event 151 # Do not remove this Skip. Otherwise it will get runtime error .151 # Do not remove this Skip. Otherwise it will get runtime error on wx>=2.9. 152 152 event.Skip() 153 153 # set the resizing flag -
guiframe/local_perspectives/plotting/plotting.py
rb770c3d r4520830 23 23 DEFAULT_MENU_ITEM_LABEL = "No graph available" 24 24 DEFAULT_MENU_ITEM_ID = wx.NewId() 25 26 if sys.platform.count("darwin")==0: 27 IS_WIN = True 28 else: 29 IS_WIN = False 25 30 26 31 class Plugin(PluginBase): … … 154 159 self.menu.AppendCheckItem(event_id, new_panel.window_caption, 155 160 "Show %s plot panel" % new_panel.window_caption) 156 self.menu.Check(event_id, True)161 self.menu.Check(event_id, IS_WIN) 157 162 wx.EVT_MENU(self.parent, event_id, self._on_check_menu) 158 163 … … 303 308 if self.menu.IsChecked(event_id): 304 309 self.parent.on_view(event) 305 self.menu.Check(event_id, True)310 self.menu.Check(event_id, IS_WIN) 306 311 else: 307 312 self.parent.hide_panel(event_id)
Note: See TracChangeset
for help on using the changeset viewer.