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