diff options
Diffstat (limited to 'src/JavaGUI')
| -rw-r--r-- | src/JavaGUI/GFEditor2.java | 2 |
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 "));
|