using monospace

This commit is contained in:
Ferrari Martino Giordano
2024-07-25 17:28:59 +02:00
parent 57507598cc
commit 88f9a05fc1
+3 -2
View File
@@ -514,9 +514,10 @@ def __state_full_graph__(label, state, app):
graph = f"digraph {label[1:]}" + "{\n"
graph += "ranksep = 2;\n"
graph += "nodesep = 0.05;\n"
graph += 'fontname="mono"\n'
graph += 'fontname="monospace"\n'
graph += "rankdir = LR;\n"
graph += "node [shape=Mrecord];\n"
graph += 'edge [fontname="monospace"]\n'
graph += 'node [shape=Mrecord, fontname="monospace"];\n'
graph += f"label=<State: <B>{label[1:]}</B>>;\n"
graph += "fontsize=40;\n"
graph += "\n"