/* UI for up/down counting */

digraph {
  pad=0.5; bgcolor="lightgrey"; nodesep=1.2; 
  node [shape="box"; style="filled";  fillcolor="cyan"; ];
  edge [labelfontsize=10; minlen=2; labeldistance=4;  ];
  HEAT_IDLE [label="HEAT_IDLE\nLED off";];
  HEAT_SET  [label="HEAT_SET\nLED on\nwait for pause";];
  HEAT_IDLE -> HEAT_SET [taillabel="EVT_UP\ninc counter";];
  HEAT_IDLE -> HEAT_SET [taillabel="EVT_DN\ndec counter";];
  HEAT_SET -> HEAT_IDLE [taillabel="EVT_TIMER\nissue 'new_setting' msg"];
  HEAT_SET -> HEAT_SET [taillabel="EVT_UP\ninc counter"; tailport=w; headport=sw;];
  HEAT_SET -> HEAT_SET   [taillabel="EVT_DN\ndec counter"; tailport=e; headport=se;];
}