documentation/graphs/fsm_sii.dot
branchstable-1.5
changeset 2513 e60c68f33e4f
parent 1804 742607c464c4
--- 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
 }