The current HTML-labels in the dot file takes a huge amount of space. This is nice for learning and graphically pleasing.
Sometimes (e.g. debugging) a simpler output would take far less space and still do the job.
To do
Add option for "simple" output, not using complicated tables and hovering.
Note
This was implemented before the fancy output and it is still in the code base, so this issue is more about adding an option in the Driver and enhancing a bit the "simple" original output.
The current HTML-labels in the dot file takes a huge amount of space. This is nice for learning and graphically pleasing. Sometimes (e.g. debugging) a simpler output would take far less space and still do the job.
To do
Add option for "simple" output, not using complicated tables and hovering.
Note
This was implemented before the fancy output and it is still in the code base, so this issue is more about adding an option in the Driver and enhancing a bit the "simple" original output.