search

ikuraj / alloy4eclipse

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

Viz panel should show up when a command is launched. #34

Closed GoogleCodeExporter closed 8 years ago

GoogleCodeExporter commented 8 years ago 
When running a command with a model or a counter example, if the correct
option is selected, a Viz panel is generated.

Unfortunately, it does not show up so the user needs to select it to show
the result.

Original issue reported on code.google.com by daniel.l...@gmail.com on 5 Dec 2007 at 3:52

GoogleCodeExporter commented 8 years ago 
Issue fixed on SVN (553).

Original comment by daniel.l...@gmail.com on 5 Dec 2007 at 8:51