Feature #579

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?)

Added by Axel Belinfante over 8 years ago.

Status:NewStart date:02 Mar 2012
Priority:NormalDue date:
Assignee:-% Done:


Target version:-


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?)

Also available in: Atom PDF