diff options
| author | Markus Keller | 2013-04-09 12:40:46 +0000 |
|---|---|---|
| committer | Markus Keller | 2013-04-09 12:40:46 +0000 |
| commit | e434b72fa7876b32d57dbd0e9367cc25faabcdf0 (patch) | |
| tree | 6a2cc858ca79f88001d9b55a8f3b63a725f05d59 | |
| parent | 21e67ff09dca32ef46bf194a17289b976c6fd7a0 (diff) | |
| download | eclipse.platform.ui-e434b72fa7876b32d57dbd0e9367cc25faabcdf0.tar.gz eclipse.platform.ui-e434b72fa7876b32d57dbd0e9367cc25faabcdf0.tar.xz eclipse.platform.ui-e434b72fa7876b32d57dbd0e9367cc25faabcdf0.zip | |
Bug 401709: Secondary Problems view doesn't have a view menu -> not configurableI20130409-0900
Fixed bad commit f5392cb888caa6b0e52155bca9bb6fd01c29c01c
| -rw-r--r-- | bundles/org.eclipse.ui.workbench/Eclipse UI/org/eclipse/ui/internal/WorkbenchPage.java | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/bundles/org.eclipse.ui.workbench/Eclipse UI/org/eclipse/ui/internal/WorkbenchPage.java b/bundles/org.eclipse.ui.workbench/Eclipse UI/org/eclipse/ui/internal/WorkbenchPage.java index a4f35d7d44f..488e5390bb4 100644 --- a/bundles/org.eclipse.ui.workbench/Eclipse UI/org/eclipse/ui/internal/WorkbenchPage.java +++ b/bundles/org.eclipse.ui.workbench/Eclipse UI/org/eclipse/ui/internal/WorkbenchPage.java @@ -1900,7 +1900,7 @@ public class WorkbenchPage extends CompatibleWorkbenchPage implements int colonIndex = reference.getId().indexOf(':'); String descId = colonIndex == -1 ? viewId : viewId.substring(0, colonIndex); - if (viewId.equals(descId)) { + if (descId.equals(reference.getId())) { String refSecondaryId = reference.getSecondaryId(); if (refSecondaryId == null) { if (secondaryId == null) { |