diff options
| author | Andrew Obuchowicz | 2019-08-23 14:23:02 +0000 |
|---|---|---|
| committer | Mickael Istria | 2019-08-23 16:13:38 +0000 |
| commit | 6d137808ffa01c81210628d07255fe733d3a41a7 (patch) | |
| tree | 73dc94114b37d865666ce2c91fc0c7d4cdf45049 | |
| parent | 39f26b3d27c090b7ce152a1851c3484cb7c8b358 (diff) | |
| download | eclipse.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.java | 3 |
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 f2f8f084c56..f4652dba19e 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) { |