diff -r af21f0bdc7c9 -r 2b9c78543663 documentation/graphs/fsm_pdo_entry_conf.dot --- a/documentation/graphs/fsm_pdo_entry_conf.dot Thu Sep 06 14:21:02 2012 +0200 +++ b/documentation/graphs/fsm_pdo_entry_conf.dot Mon Nov 03 15:20:05 2014 +0100 @@ -2,24 +2,26 @@ /* $Id$ */ digraph pdo_entry_conf { + node [fontname="Helvetica"] + edge [fontname="Helvetica", fontsize="12"] - start [fontname="Helvetica"] + start start -> zero_entry_count [weight=10] - zero_entry_count [fontname="Helvetica"] - zero_entry_count -> end [fontname="Helvetica",label="No Entries"] - zero_entry_count -> action_map [fontname="Helvetica",label="Add first entry", weight=10] + zero_entry_count + zero_entry_count -> end [label="No Entries"] + zero_entry_count -> action_map [label="Add first entry", weight=10] action_map [shape=point,label=""] action_map -> map_entry [weight=10] - map_entry [fontname="Helvetica"] - map_entry -> action_map [fontname="Helvetica",label="Next entry"] - map_entry -> set_entry_count [fontname="Helvetica",label="No more Entries", weight=10] + map_entry + map_entry -> action_map [label="Next entry"] + map_entry -> set_entry_count [label="No more Entries", weight=10] - set_entry_count [fontname="Helvetica"] + set_entry_count set_entry_count -> end [weight=10] - end [fontname="Helvetica"] + end end }