- Timestamp:
- May 11, 2011 1:29:35 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:
- 99f9ecf
- Parents:
- ca430a0
- Location:
- guiframe
- Files:
-
- 2 edited
Legend:
- Unmodified
- Added
- Removed
-
guiframe/gui_manager.py
rc91ef7e r87f4dcc 2235 2235 try: 2236 2236 # make sure the current dir is App dir when it starts 2237 temp_path = os.path.dirname(os.path.sys.path[0]) 2237 temp_path = os.path.dirname(os.path.sys.path[0]) 2238 2238 os.chdir(temp_path) 2239 2239 except: … … 2242 2242 if len(sys.argv) > 1 and '--time' in sys.argv[1:]: 2243 2243 log_time("Starting to display the splash screen") 2244 2245 2244 try: 2246 2245 if os.path.isfile(SPLASH_SCREEN_PATH): -
guiframe/local_perspectives/data_loader/data_loader.py
r570cb96 r87f4dcc 36 36 extension_list.append(config.APPLICATION_STATE_EXTENSION) 37 37 EXTENSIONS = config.PLUGIN_STATE_EXTENSIONS + extension_list 38 PLUGINS_WLIST = config.PLUGINS_WLIST 39 APPLICATION_WLIST = config.APPLICATION_WLIST 40 38 41 39 42 class Plugin(PluginBase): … … 98 101 99 102 cards = self.loader.get_wildcards() 103 temp = [APPLICATION_WLIST] + PLUGINS_WLIST 104 for item in temp: 105 if item in cards: 106 cards.remove(item) 100 107 wlist = '|'.join(cards) 101 108 style = wx.OPEN|wx.FD_MULTIPLE
Note: See TracChangeset
for help on using the changeset viewer.