search

google-code-export / alloy4eclipse

Automatically exported from code.google.com/p/alloy4eclipse
0 stars 0 forks source link

run and check commands in outline view should appear more precisely #96

Closed GoogleCodeExporter closed 9 years ago

GoogleCodeExporter commented 9 years ago 
Currently, a command like:

check reflexivite for 10 A expect 1

appears like:

reflexivite

in the outline view.

It would be better to be able to display all the information:

reflexivite for 10 A expect 1

Original issue reported on code.google.com by daniel.l...@gmail.com on 19 May 2011 at 7:23

GoogleCodeExporter commented 9 years ago 
Fixed in r977 and r981.

Original comment by daniel.l...@gmail.com on 19 May 2011 at 2:17