diff options
author | Christian Georgi | 2012-07-18 19:13:58 +0000 |
---|---|---|
committer | Pawel Piech | 2012-07-18 19:13:58 +0000 |
commit | eb1377719b70d2785cb1dea595e7411eec73730e (patch) | |
tree | 7daf76e1235e505f5b77f157cab2767f0f666a84 /org.eclipse.debug.ui/ui/org/eclipse/debug/internal/ui/views/launch | |
parent | 8dfb9f847ad6559c6ce651d510e95607c5924f56 (diff) | |
download | eclipse.platform.debug-eb1377719b70d2785cb1dea595e7411eec73730e.tar.gz eclipse.platform.debug-eb1377719b70d2785cb1dea595e7411eec73730e.tar.xz eclipse.platform.debug-eb1377719b70d2785cb1dea595e7411eec73730e.zip |
Bug 385400 - System property for debug toolbar visibility not initialized
Diffstat (limited to 'org.eclipse.debug.ui/ui/org/eclipse/debug/internal/ui/views/launch')
-rw-r--r-- | org.eclipse.debug.ui/ui/org/eclipse/debug/internal/ui/views/launch/LaunchView.java | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/org.eclipse.debug.ui/ui/org/eclipse/debug/internal/ui/views/launch/LaunchView.java b/org.eclipse.debug.ui/ui/org/eclipse/debug/internal/ui/views/launch/LaunchView.java index 7a9502b3a..3a21e0146 100644 --- a/org.eclipse.debug.ui/ui/org/eclipse/debug/internal/ui/views/launch/LaunchView.java +++ b/org.eclipse.debug.ui/ui/org/eclipse/debug/internal/ui/views/launch/LaunchView.java @@ -1412,6 +1412,10 @@ public class LaunchView extends AbstractDebugView * @see org.eclipse.ui.IPartListener2#partActivated(org.eclipse.ui.IWorkbenchPartReference) */ public void partActivated(IWorkbenchPartReference partRef) { + // Ensure that the system property matches the debug toolbar state. + // Bug 385400 + System.setProperty(IDebugUIConstants.DEBUG_VIEW_TOOBAR_VISIBLE, + Boolean.toString(isDebugToolbarShownInPerspective(getSite().getPage().getPerspective())) ); } /* (non-Javadoc) |