Changeset 53f9e40 in sasview for sansguiframe/src/sans/guiframe/gui_manager.py
- 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
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
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:
Note: See TracChangeset
for help on using the changeset viewer.