|
Lines 1269-1274
Link Here
|
| 1269 |
if (perspectiveSwitcher != null) { |
1269 |
if (perspectiveSwitcher != null) { |
| 1270 |
perspectiveSwitcher.setPerspectiveBarLocation(location); |
1270 |
perspectiveSwitcher.setPerspectiveBarLocation(location); |
| 1271 |
} |
1271 |
} |
|
|
1272 |
updateLayoutDataForContents(); |
| 1273 |
getShell().layout(); |
| 1272 |
} |
1274 |
} |
| 1273 |
|
1275 |
|
| 1274 |
/** |
1276 |
/** |
|
Lines 3697-3705
Link Here
|
| 3697 |
|
3699 |
|
| 3698 |
// @issue this is not ideal; coolbar and perspective shortcuts should be |
3700 |
// @issue this is not ideal; coolbar and perspective shortcuts should be |
| 3699 |
// separately configurable |
3701 |
// separately configurable |
|
|
3702 |
String perspectiveBarOnTheLeftString = PlatformUI.getPreferenceStore() |
| 3703 |
.getString(IWorkbenchPreferenceConstants.DOCK_PERSPECTIVE_BAR); |
| 3704 |
boolean perspectiveBarOnTheLeft = perspectiveBarOnTheLeftString != null |
| 3705 |
&& perspectiveBarOnTheLeftString |
| 3706 |
.equalsIgnoreCase(IWorkbenchPreferenceConstants.LEFT); |
| 3707 |
|
| 3700 |
if ((getCoolBarVisible() && getWindowConfigurer().getShowCoolBar()) |
3708 |
if ((getCoolBarVisible() && getWindowConfigurer().getShowCoolBar()) |
| 3701 |
|| (getPerspectiveBarVisible() && getWindowConfigurer() |
3709 |
|| (getPerspectiveBarVisible() |
| 3702 |
.getShowPerspectiveBar())) { |
3710 |
&& getWindowConfigurer().getShowPerspectiveBar() && !perspectiveBarOnTheLeft)) { |
| 3703 |
if (defaultLayout.getTrim(topBarTrim.getId()) == null) { |
3711 |
if (defaultLayout.getTrim(topBarTrim.getId()) == null) { |
| 3704 |
defaultLayout.addTrim(SWT.TOP, topBarTrim); |
3712 |
defaultLayout.addTrim(SWT.TOP, topBarTrim); |
| 3705 |
} |
3713 |
} |
