- Timestamp:
- Apr 4, 2014 6:01:09 AM (11 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:
- 57986a1
- Parents:
- 803d7fb
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
src/sans/guiframe/gui_manager.py
r34dbaf4 r751abab 977 977 """ 978 978 # Look for plug-in panels 979 panels = [] 980 mac_pos_y = 85 979 panels = [] 980 if wx.VERSION_STRING >= '3.0.0.0': 981 mac_pos_y = 85 982 else: 983 mac_pos_y = 40 981 984 for item in self.plugins: 982 985 if hasattr(item, "get_panels"): … … 1048 1051 win_height = mac_pos_y 1049 1052 if IS_LINUX: 1050 win_height = mac_pos_y + 10 1053 if wx.VERSION_STRING >= '3.0.0.0': 1054 win_height = mac_pos_y + 10 1055 else: 1056 win_height = mac_pos_y + 55 1051 1057 self.SetMaxSize((-1, win_height)) 1052 1058 else:
Note: See TracChangeset
for help on using the changeset viewer.