commit 34322606b273afec457d1e1a2b0c004b46639766
author Ed Merks <ed.merks@gmail.com> Fri Jan 03 10:48:48 2020 +0100
committer Ed Merks <ed.merks@gmail.com> Fri Jan 03 10:48:48 2020 +0100
tree 42a64548727d30a3b14994e8af212b01ea9945eb
parent 124f1659cefd7c9d7d1883adb649945a7300d348

[558774] DiagnosticDecorator.strip(String) should decode all the things
replaced by DiagnosticDecorator.escapeContent(String)

plugins/org.eclipse.emf.edit.ui/src/org/eclipse/emf/edit/ui/provider/DiagnosticDecorator.java

diff --git a/plugins/org.eclipse.emf.edit.ui/src/org/eclipse/emf/edit/ui/provider/DiagnosticDecorator.java b/plugins/org.eclipse.emf.edit.ui/src/org/eclipse/emf/edit/ui/provider/DiagnosticDecorator.java
index 36bd752..67124fb 100644
--- a/plugins/org.eclipse.emf.edit.ui/src/org/eclipse/emf/edit/ui/provider/DiagnosticDecorator.java
+++ b/plugins/org.eclipse.emf.edit.ui/src/org/eclipse/emf/edit/ui/provider/DiagnosticDecorator.java
@@ -161,7 +161,7 @@
 
   /**
    * Cleans up the escaping and HTML tags inserted by the {@link LiveValidator live validator}.
-   * It can be safely called on text not produces by the live validator because it only transformed {@link #enquote(String) enquoted} content.
+   * It can be safely called on text not produced by the live validator because it only transformed {@link #enquote(String) enquoted} content.
    */
   public static String strip(String content)
   {
@@ -174,7 +174,7 @@
       {
         result.append(content.substring(start, matcher.start()));
         String label = matcher.group(1);
-        result.append(label.replace("&lt;", "<").replace("&amp;", "&"));
+        result.append(label.replace("&lt;", "<").replace("&amp;", "&").replace("&#160;", " "));
         start = matcher.end();
       }
       while (matcher.find());