User-friendly navigation in a counterexample editor

[GoogleCodeExporter]

1. Clicking the LTS graph edges in the Outline View should also select the 
appropriate step in the counterexample

2. It should be possible to navigate from the counterexample to a given 
use-case step e.g. by clicking on something. Otherwise the user is lost because 
it is hard to find the usecase/step which caused the verification error.

Original issue reported on code.google.com by viliam.s...@gmail.com on 6 Jan 2012 at 3:21

[GoogleCodeExporter]

It is now fixed. Just double-click a step in the counter-example or an edge in 
the LTS diagram of the outline view and the use-case editor will open the 
associated use-case and select the associated use-case step

Original comment by rud...@gmail.com on 7 Jan 2012 at 2:54

• Changed state: Fixed

[GoogleCodeExporter]

Double-click reacts too eagerly:
1. Click some arrow in the counterexample outline view
2. Then double-click to some empty space in the same outline view
3. You will be redirected, even thought this kind of double-click should have 
been ignored

Original comment by viliam.s...@gmail.com on 9 Jan 2012 at 7:27

• Changed state: Accepted

[GoogleCodeExporter]

Original comment by viliam.s...@gmail.com on 9 Jan 2012 at 7:28

• Changed state: Reopened

[GoogleCodeExporter]

Original comment by viliam.s...@gmail.com on 9 Jan 2012 at 7:29

• Added labels: Milestone-Release1.0

[GoogleCodeExporter]

I just fixed it

Original comment by rud...@gmail.com on 10 Jan 2012 at 11:37

• Changed state: Fixed