diff -r a01947bc9ab6 -r e60c68f33e4f documentation/graphs/fsm_sii.dot --- a/documentation/graphs/fsm_sii.dot Fri Feb 08 20:00:16 2013 +0100 +++ b/documentation/graphs/fsm_sii.dot Fri Feb 08 20:01:06 2013 +0100 @@ -2,32 +2,34 @@ /* $Id$ */ digraph sii { + node [fontname="Helvetica"] + edge [fontname="Helvetica", fontsize="12"] - start_reading [fontname="Helvetica"] + start_reading start_reading -> read_check [weight=5] - read_check [fontname="Helvetica"] + read_check read_check -> error read_check -> read_fetch [weight=5] - read_fetch [fontname="Helvetica"] + read_fetch read_fetch -> error read_fetch -> end [weight=5] read_fetch -> read_fetch - start_writing [fontname="Helvetica"] + start_writing start_writing -> write_check [weight=5] - write_check [fontname="Helvetica"] + write_check write_check -> error write_check -> write_check2 [weight=5] - write_check2 [fontname="Helvetica"] + write_check2 write_check2 -> error write_check2 -> end [weight=5] write_check2 -> write_check2 - end [fontname="Helvetica"] + end - error [fontname="Helvetica"] + error }