Running it on Ubuntu 12.04. For me it doesn't even highlight the menu entries and none of them works. Also I cannot move the transitions of the graph, only nodes are moveable. Dotty doesn't redraw at all, if I move anything and drag it over other stuff, the graphical representation of that stuff is destroyed too.
Would be nice if I could move the transitions of graphs a bit, so that arrowheads don't touch each other. -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/1016777 Title: dotty missing labels and context menu is broken To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/graphviz/+bug/1016777/+subscriptions -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs