From de50630104886c4cc76655e719e62e464df43405 Mon Sep 17 00:00:00 2001
From: Erwann Traisnel <erwann.traisnel@obeo.fr>
Date: Tue, 21 Mar 2023 14:35:12 +0100
Subject: [PATCH] #756 Whitespace are encoded in &#160 instead of &nbsp;

Also added a function to decode these whitespaces

Change-Id: Id02ad44c0fa5bff88eb4f7b1d88325520109f2d2
Signed-off-by: Erwann Traisnel <erwann.traisnel@obeo.fr>
---
 .../widget/tools/utils/MDERichTextToolsHelper.java        | 8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)

diff --git a/richtext/plugins/org.polarsys.kitalpha.richtext.widget.tools/src/org/polarsys/kitalpha/richtext/widget/tools/utils/MDERichTextToolsHelper.java b/richtext/plugins/org.polarsys.kitalpha.richtext.widget.tools/src/org/polarsys/kitalpha/richtext/widget/tools/utils/MDERichTextToolsHelper.java
index f509e0aa9..1b5a269f8 100644
--- a/richtext/plugins/org.polarsys.kitalpha.richtext.widget.tools/src/org/polarsys/kitalpha/richtext/widget/tools/utils/MDERichTextToolsHelper.java
+++ b/richtext/plugins/org.polarsys.kitalpha.richtext.widget.tools/src/org/polarsys/kitalpha/richtext/widget/tools/utils/MDERichTextToolsHelper.java
@@ -122,10 +122,16 @@ public static String encodeWhiteSpaces(String input) {
     return replaced;
   }
 
+  public static String decodeWhiteSpaces(String input) {
+    String replaced = input.replaceAll("&nbsp;", " ");
+    replaced = input.replaceAll("&#160;", " ");
+    return replaced;
+  }
+
   private static String replaceAllWhiteSpacesButLast(String input) {
     String result = "";
     for (int i = 0; i < input.length() - 1; i++) {
-      result += "&nbsp;";
+      result += "&#160;";
     }
     result += " ";
     return result;