use monospace everywhere

This commit is contained in:
Ferrari Martino Giordano
2024-07-25 17:34:48 +02:00
parent 3c9b4e3161
commit b6cd0994ea
2 changed files with 10 additions and 4 deletions
+7 -3
View File
@@ -514,9 +514,9 @@ def __state_full_graph__(label, state, app):
graph = f"digraph {label[1:]}" + "{\n"
graph += "ranksep = 2;\n"
graph += "nodesep = 0.05;\n"
graph += 'fontname="monospace"\n'
graph += 'fontname="monospace";\n'
graph += "rankdir = LR;\n"
graph += 'edge [fontname="monospace"]\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"
@@ -626,8 +626,12 @@ def __simple_edges__(edges, datasources):
def __state_simple_graph__(label, state, app):
graph = f"digraph {label[1:]}" + "{\n"
graph += "rankdir = LR;\n"
graph += 'node [shape=rect, style="filled", fillcolor=white];\n'
graph += (
'node [shape=rect, style="filled", fillcolor=white, fontname="monospace"];\n'
)
graph += 'edge [fontname="monospace"];\n'
graph += f"label=<State: <B>{label[1:]}</B>>;\n"
graph += 'fontname="monospace";\n'
graph += "fontsize=40;\n"
graph += "\n"
arrows = ""