diff options
| author | janna <unknown> | 2004-10-28 14:13:31 +0000 |
|---|---|---|
| committer | janna <unknown> | 2004-10-28 14:13:31 +0000 |
| commit | 7d8345300a1f86bf66d9ea71f0021f4f0b8377c6 (patch) | |
| tree | d8520aef6f7ce921351716a07b8ca04dc239122b /src | |
| parent | 02151b73d0316162e47052f6a9f2162f0acc3b9f (diff) | |
*** empty log message ***
Diffstat (limited to 'src')
| -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 "));
|