diff options
| author | Oliver Schaefer | 2013-02-11 21:27:56 +0000 |
|---|---|---|
| committer | Curtis Windatt | 2013-02-11 21:27:56 +0000 |
| commit | 8b3c2b272e5a707ad62c5f7f4e04a0cb460e7596 (patch) | |
| tree | 685dc1cc63b77a01e08c269b9df5dc667092a69f | |
| parent | 9b3aee03eeec0f4431928b92274cd2c22cd475da (diff) | |
| download | eclipse.platform.ui-8b3c2b272e5a707ad62c5f7f4e04a0cb460e7596.tar.gz eclipse.platform.ui-8b3c2b272e5a707ad62c5f7f4e04a0cb460e7596.tar.xz eclipse.platform.ui-8b3c2b272e5a707ad62c5f7f4e04a0cb460e7596.zip | |
Bug 163711 - [Markers] Problem marker properties not showing non-numeric
Locations
| -rw-r--r-- | bundles/org.eclipse.ui.ide/src/org/eclipse/ui/internal/views/markers/MarkersPropertyPage.java | 14 |
1 files changed, 10 insertions, 4 deletions
diff --git a/bundles/org.eclipse.ui.ide/src/org/eclipse/ui/internal/views/markers/MarkersPropertyPage.java b/bundles/org.eclipse.ui.ide/src/org/eclipse/ui/internal/views/markers/MarkersPropertyPage.java index a3bec664fe1..b0041b15495 100644 --- a/bundles/org.eclipse.ui.ide/src/org/eclipse/ui/internal/views/markers/MarkersPropertyPage.java +++ b/bundles/org.eclipse.ui.ide/src/org/eclipse/ui/internal/views/markers/MarkersPropertyPage.java @@ -1,5 +1,5 @@ /******************************************************************************* - * Copyright (c) 2007, 2011 IBM Corporation and others. + * Copyright (c) 2007, 2013 IBM Corporation and others. * All rights reserved. This program and the accompanying materials * are made available under the terms of the Eclipse Public License v1.0 * which accompanies this distribution, and is available at @@ -279,11 +279,17 @@ public class MarkersPropertyPage extends PropertyPage { locationText.setLayoutData(gridData); String line = Util.getProperty(IMarker.LINE_NUMBER, marker); - if (line.length()==0) - locationText.setText(MarkerSupportInternalUtilities.EMPTY_STRING); - else + if (line.length() == 0) { + String location = Util.getProperty(IMarker.LOCATION, marker); + if (location.length() == 0) { + locationText.setText(MarkerSupportInternalUtilities.EMPTY_STRING); + } else { + locationText.setText(location); + } + } else { locationText.setText(NLS .bind(MarkerMessages.label_lineNumber, line)); + } } |