Implement Mini-LTS mode
We should add a switch that shows LTS states as very small circles with short transitions, to allow viewing the structure of large LTSes. Or even better: Make the size a slider!
We should add a switch that shows LTS states as very small circles with short transitions, to allow viewing the structure of large LTSes. Or even better: Make the size a slider!