search

ikuraj / alloy4eclipse

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

Set "Show example or counter example" by default #67

Closed GoogleCodeExporter closed 8 years ago

GoogleCodeExporter commented 8 years ago 
When playing for the first time with A4E, it is important that the user
sees directly the example or counter example provided by A4.

It simply means changing the defaults in A4E preferences.

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

GoogleCodeExporter commented 8 years ago 
Fixed in release 0.2.32

Original comment by daniel.l...@gmail.com on 1 Dec 2008 at 9:09