SpriMoon / alloy4eclipse

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

Improve commands contextual menu #11

Closed GoogleCodeExporter closed 9 years ago

GoogleCodeExporter commented 9 years ago
The contextual menu could be improved:

- view answer should be disabled when the command has not been launched yet.
- the label of the menu should be command specific. For instance, it should
mention "Show models" or "Show counter examples" depending of the cases.

Original issue reported on code.google.com by daniel.l...@gmail.com on 7 Apr 2007 at 6:55

GoogleCodeExporter commented 9 years ago

Original comment by daniel.l...@gmail.com on 11 Apr 2007 at 6:38

GoogleCodeExporter commented 9 years ago
There are still some issues on SVN:
  * the contextual menu is only updated when the selection change: it should be
changed when the command has been executed. Else you run a command and are 
unable to
display the model or counter example.
  * the show counter example should not been available when the answer is UNSAT.

Original comment by daniel.l...@gmail.com on 11 Apr 2007 at 11:42

GoogleCodeExporter commented 9 years ago
Fixed both problems.

Original comment by daniel.l...@gmail.com on 27 Jun 2007 at 8:11