search

ikuraj / alloy4eclipse

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

Evaluator does not show up if the graph view is maximized #69

Open GoogleCodeExporter opened 8 years ago

GoogleCodeExporter commented 8 years ago 
It is often convenient to maximize the graph view to see the
example/counter example in full size.

When pushing the evaluator button, the evaluator console does not show up.

We need to force that console to show up.

Original issue reported on code.google.com by daniel.l...@gmail.com on 1 Dec 2008 at 11:33