From b49b80e6dc76c2cef3b5b5c8536688332d661557 Mon Sep 17 00:00:00 2001 From: dickreckard Date: Fri, 9 Dec 2022 20:14:22 +0100 Subject: [PATCH] svg head --- pdf-compile.py | 12 +++++++++++- 1 file changed, 11 insertions(+), 1 deletion(-) diff --git a/pdf-compile.py b/pdf-compile.py index 6f7ddc6..474dacc 100755 --- a/pdf-compile.py +++ b/pdf-compile.py @@ -63,8 +63,18 @@ if ooooo_insert: for graph in graphs[1:]: graph=graph.split('"""')[-2] dot = requests.post(e2hprocessor,graph.encode('utf-8')) + dot = dot.text + dot = dot.split('edge [penwidth="5"];')[1] + head=''' + digraph ""{ + viewport="2700"; + bgcolor="transparent"; + node [shape="circle", margin="0.01", target="_blank", style="filled", width="1.5"]; + edge [penwidth="5"]; + ''' + dot=head+dot with open('dot/'+str(oooooc)+'.dot','w') as file: - file.write(dot.text) + file.write(dot) graph = pygraphviz.AGraph('dot/'+str(oooooc)+'.dot') graph.layout(prog="dot") graph.draw(localgs+str(oooooc)+'.svg')