*** empty log message ***

1 files changed, 1 insertions, 1 deletions

diff --git a/src/JavaGUI/GFEditor2.java b/src/JavaGUI/GFEditor2.java
index 838f331ba..161ead2c0 100644
--- a/src/JavaGUI/GFEditor2.java
+++ b/src/JavaGUI/GFEditor2.java
@@ -1988,7 +1988,7 @@ public class GFEditor2 extends JFrame implements ActionListener, CaretListener,
       String less = "\\"+"<";

       restString = replaceSubstring(restString,more,"> ");

       restString = replaceSubstring(restString,less," <");

-      restString= replaceSubstring(restString,"\b\b","\b");

+      restString= replaceSubstring(restString,"\\\\"," \\");

       if (debug4) 

         System.out.println(restString);

       output.append(restString.replaceAll("&-","\n "));