From 7d8345300a1f86bf66d9ea71f0021f4f0b8377c6 Mon Sep 17 00:00:00 2001
From: janna <unknown>
Date: Thu, 28 Oct 2004 14:13:31 +0000
Subject: [PATCH] *** empty log message ***

---
 src/JavaGUI/GFEditor2.java | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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 "));