Changeset 53f9e40 in sasview for sansguiframe/src/sans/guiframe
- Timestamp:
- Apr 30, 2013 3:43:03 PM (12 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:
- 3704e33
- Parents:
- 80b93da
- Location:
- sansguiframe/src/sans/guiframe
- Files:
-
- 3 edited
Legend:
- Unmodified
- Added
- Removed
-
sansguiframe/src/sans/guiframe/config.py
r657e52c r53f9e40 82 82 GUIFRAME_WIDTH = 1000 83 83 GUIFRAME_HEIGHT = 800 84 CONTROL_WIDTH = -1 85 CONTROL_HEIGHT = -1 84 86 SetupIconFile_win = os.path.join("images", "ball.ico") 85 87 SetupIconFile_mac = os.path.join("images", "ball.icns") -
sansguiframe/src/sans/guiframe/gui_manager.py
r1624011 r53f9e40 155 155 GUIFRAME_WIDTH = custom_config.GUIFRAME_WIDTH 156 156 GUIFRAME_HEIGHT = custom_config.GUIFRAME_HEIGHT 157 CONTROL_WIDTH = custom_config.CONTROL_WIDTH 158 CONTROL_HEIGHT = custom_config.CONTROL_HEIGHT 157 159 DEFAULT_PERSPECTIVE = custom_config.DEFAULT_PERSPECTIVE 158 160 CLEANUP_PLOT = custom_config.CLEANUP_PLOT … … 172 174 GUIFRAME_WIDTH = config.GUIFRAME_WIDTH 173 175 GUIFRAME_HEIGHT = config.GUIFRAME_HEIGHT 176 CONTROL_WIDTH = -1 177 CONTROL_HEIGHT = -1 174 178 DEFAULT_PERSPECTIVE = None 175 179 CLEANUP_PLOT = False … … 963 967 #if style == (GUIFRAME.PLOTTING_ON|GUIFRAME.MANAGER_ON): 964 968 panel_width = self._window_width * 0.45 969 if custom_config != None: 970 if custom_config.CONTROL_WIDTH > 0: 971 panel_width = CONTROL_WIDTH 972 if custom_config.CONTROL_HEIGHT > 0: 973 panel_height = CONTROL_HEIGHT 965 974 return panel_width, panel_height 966 975 elif p == self.defaultPanel: -
sansguiframe/src/sans/guiframe/startup_configuration.py
rae84427 r53f9e40 21 21 DEFAULT_STRINGS = {'GUIFRAME_WIDTH':-1, 22 22 'GUIFRAME_HEIGHT':-1, 23 'CONTROL_WIDTH':-1, 24 'CONTROL_HEIGHT':-1, 23 25 'PLOPANEL_WIDTH':-1, 24 26 'DATAPANEL_WIDTH':-1, … … 33 35 CURRENT_STRINGS = {'GUIFRAME_WIDTH':CURRENT.GUIFRAME_WIDTH, 34 36 'GUIFRAME_HEIGHT':CURRENT.GUIFRAME_HEIGHT, 37 'CONTROL_WIDTH':CURRENT.CONTROL_WIDTH, 38 'CONTROL_HEIGHT':CURRENT.CONTROL_HEIGHT, 35 39 'PLOPANEL_WIDTH':CURRENT.PLOPANEL_WIDTH, 36 40 'DATAPANEL_WIDTH':CURRENT.DATAPANEL_WIDTH, … … 135 139 self.current_string['PLOPANEL_WIDTH'] = p_size 136 140 141 try: 142 control_frame = self.parent.get_current_perspective().frame 143 control_w, control_h = control_frame.GetSizeTuple() 144 self.current_string['CONTROL_WIDTH'] = control_w 145 self.current_string['CONTROL_HEIGHT'] = control_h 146 except: 147 self.current_string['CONTROL_WIDTH'] = -1 148 self.current_string['CONTROL_HEIGHT'] = -1 149 137 150 data_pw, _ = self.parent.panels["data_panel"].frame.GetSizeTuple() 138 151 if data_pw == None:
Note: See TracChangeset
for help on using the changeset viewer.