rensink
commented
11 years ago The actual issue is to make state space inspection easier. Maybe highlighting is not the way to go, but manually extending a partially shown LTS should be easy (also if the partiality is due to a bounded view of the LTS)
Original comment by: rensink
We meed a highlighting mode for LTSs. The highlighted part is a subset of the visible LTS, To which the following functionality applies: - Matches that are part of the highlighted LTS are themselves emphasized; - When serializing the LTS, only the highlighted part is serialized
Setup: - The graying out of LTSs is abandoned - Emphasizing the LTS coincides with highlighting in the above sense - The show/hide menu for LTSs is reprogrammed to affect visibility and highlighting (rather than graying out, which is what it does now) - Selection is decoupled from highlighting, so that the highlighted part of the LTS is more stable - Exploration of a transition/state should automatically add it to the visible part of the LTS, but not (automatically) to the highlighted part
Reported by: rensink