Properly escape backslash in Graphviz p-code export

This commit is contained in:
Jindra Petřík
2021-02-08 20:15:19 +01:00
parent 1c58f4cb69
commit 4fe793599c
@@ -244,7 +244,7 @@ public class PcodeGraphVizExporter {
s = s.replace("]", "]"); //ends graphviz parameters block!
s = s.replace("<", "&lt;");
s = s.replace(">", "&gt;");
//s = s.replace("\"", "&quot;");
s = s.replace("\\", "\\\\");
s = s.replace("\r\n", "<BR />");
sb.append(s);
if (bold && tlen > 0) {