From 925cc41eb4990c9821380a64497c4b4dc6227569 Mon Sep 17 00:00:00 2001 From: janna Date: Thu, 28 Oct 2004 14:13:31 +0000 Subject: [PATCH] *** empty log message *** --- lib/resource-0.6/russian/TestHTMLrus.gf | 2 +- src/JavaGUI/GFEditor2.java | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/lib/resource-0.6/russian/TestHTMLrus.gf b/lib/resource-0.6/russian/TestHTMLrus.gf index 8ccf8a87d..6b5437075 100644 --- a/lib/resource-0.6/russian/TestHTMLrus.gf +++ b/lib/resource-0.6/russian/TestHTMLrus.gf @@ -10,7 +10,7 @@ flags lin body = {s= " " ++"Это тело" ++ " "}; - head = {s= " " ++ "Это голова \" ++ " "}; + head = {s= " " ++ "Это голова \\" ++ " "}; htmlText x y = {s= " "++ x.s ++ " " ++ y.s ++ " "}; }; 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 "));