Skip to main content
aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorAndrew Obuchowicz2019-08-23 10:23:02 -0400
committerMickael Istria2019-08-23 12:13:38 -0400
commit6d137808ffa01c81210628d07255fe733d3a41a7 (patch)
tree73dc94114b37d865666ce2c91fc0c7d4cdf45049
parent39f26b3d27c090b7ce152a1851c3484cb7c8b358 (diff)
downloadeclipse.platform.text-6d137808ffa01c81210628d07255fe733d3a41a7.tar.gz
eclipse.platform.text-6d137808ffa01c81210628d07255fe733d3a41a7.tar.xz
eclipse.platform.text-6d137808ffa01c81210628d07255fe733d3a41a7.zip
Bug 549946 - [Generic Editor] Marker resolution link changes '&' into
mnemonic underline Disable mnemonics for marker resolution link. Change-Id: I0f5a49da250edfec5535893756155505e4b4b1e9 Signed-off-by: Andrew Obuchowicz <aobuchow@redhat.com>
-rw-r--r--org.eclipse.ui.genericeditor/src/org/eclipse/ui/internal/genericeditor/markers/MarkerInformationControl.java3
1 files changed, 2 insertions, 1 deletions
diff --git a/org.eclipse.ui.genericeditor/src/org/eclipse/ui/internal/genericeditor/markers/MarkerInformationControl.java b/org.eclipse.ui.genericeditor/src/org/eclipse/ui/internal/genericeditor/markers/MarkerInformationControl.java
index f2f8f084c..f4652dba1 100644
--- a/org.eclipse.ui.genericeditor/src/org/eclipse/ui/internal/genericeditor/markers/MarkerInformationControl.java
+++ b/org.eclipse.ui.genericeditor/src/org/eclipse/ui/internal/genericeditor/markers/MarkerInformationControl.java
@@ -130,7 +130,8 @@ public class MarkerInformationControl extends AbstractInformationControl impleme
}
resolutionImage.setImage(resolutionPic);
Link resolutionLink = new Link(resolutionComposite, SWT.NONE);
- resolutionLink.setText("<A>" + resolution.getLabel() + "</a>"); //$NON-NLS-1$ //$NON-NLS-2$
+ String resolutionText = resolution.getLabel().replace("&", "&&"); // Disable mnemonics //$NON-NLS-1$ //$NON-NLS-2$
+ resolutionLink.setText("<A>" + resolutionText + "</a>"); //$NON-NLS-1$ //$NON-NLS-2$
resolutionLink.addSelectionListener(new SelectionAdapter() {
@Override
public void widgetSelected(SelectionEvent e) {

Back to the top