Increase padding of graphs

Ref. #345
AdaCore · Jul 17, 2020 · e6ff01a · e6ff01a
1 parent 1dbf92c
commit e6ff01a
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/rflx/graph.py b/rflx/graph.py
@@ -32,7 +32,7 @@ def __edge_label(self, link: Link) -> str:
     def get(self) -> Dot:
         """Return pydot graph representation of message."""
         result = Dot(graph_name=self.__message.full_name)
-        result.set_graph_defaults(splines="ortho", ranksep="0.8 equally")
+        result.set_graph_defaults(splines="ortho", ranksep="0.8 equally", pad="0.5")
         result.set_edge_defaults(fontname="Fira Code", fontcolor="#6f6f6f", color="#6f6f6f")
         result.set_node_defaults(
             fontname="Arimo",