But there is no way to draw a DIgraph, and it is a little irritating.
-- Jori Mäntysalo
Does anyone know javascript here? We have graph_editor() that works nicely
when starting from scratch. (But forgots labels when modifying existing
graph.)
