allow user to select display of long or short node labels in automata eg for suspension automaton or testrun (and use tooltips for long labels?)
|Status:||New||Start date:||02 Mar 2012|
node labels in suspension automaton and testrun visualization can be large, because they show the set of node identifiers of LTS nodes -- when there are many nodes, this list is long.
it would be nice to be able to select, as a user, whether the labels are long, or short.
When short labels are used, tooltips could be used to show the long labels (or maybe a different technique could be used, like clicking on a node?)