#1009: attempt at restoring dotdraw
Merge pull request #1283 from casadi/dotdraw

#1009: attempt at restoring dotdraw