@@ -16,7 +16,7 @@ function decodeHtml(html) {
1616return txt . value ;
1717}
1818
19- var default_src = `digraph FlyingLogic { rankdir=LR; eid1 [label="A" fillcolor="white"]; eid8 [label="E" fillcolor="white"]; gid1 [labelType="html" label="<div style='padding: 10px;' onclick='top.editGraph(\"digraph FlyingLogic { rankdir=LR; eid1 [label=A ]; eid8 [label=E ]; subgraph cluster_eid13 { label=UnFolded eid2 [label=B ]; eid4 [label=C ]; eid5 [label=1 shape=circle ]; eid10 [label=OR shape=circle]; eid14 [label=D ]; } eid1 -> eid5; eid5 -> eid2; eid5 -> eid4; eid4 -> eid10; eid10 -> eid8; eid2 -> eid14; eid14 -> eid10; } \");tryDraw();'>Folded</div>"] eid1 -> gid1; gid1 -> eid8; } ` ;
19+ var default_src = `digraph FlyingLogic { rankdir=LR; eid1 [label="A" fillcolor="white"]; eid8 [label="E" fillcolor="white"]; gid1 [labelType="html" label="<div style='padding: 10px;' onclick='top.editGraph(\\\ "digraph FlyingLogic { rankdir=LR; eid1 [label=A ]; eid8 [label=E ]; subgraph cluster_eid13 { label=UnFolded eid2 [label=B ]; eid4 [label=C ]; eid5 [label=1 shape=circle ]; eid10 [label=OR shape=circle]; eid14 [label=D ]; } eid1 -> eid5; eid5 -> eid2; eid5 -> eid4; eid4 -> eid10; eid10 -> eid8; eid2 -> eid14; eid14 -> eid10; }\\ \");tryDraw();'>Folded</div>"] eid1 -> gid1; gid1 -> eid8; } ` ;
2020editGraph ( decodeHtml ( default_src ) ) ;
2121
2222// Set up zoom support