Release 0.1.16
DanArBer
The last week has seen a big change in the way the original Alloy 4
visualization panel is managed in the A4E plugin.
With the help of Nicolas Rouquette, we spotted cases for with the
graph was not displayed properly, depending of the JDK used and the
system used (Win32 or Linux).
Basically, the idea is that embedding swing components into Eclipse's
SWT components is not working properly on all platforms, so we added
some code to let the plugin adapt itself to the user config.
For that reason, we encourage A4E users to update to the new release
0.1.16.
The behavior of the plugin should be consistent on all platforms now.
If you have some wishes for the next dev effort, please contribute
them to
http://code.google.com/p/alloy4eclipse/wiki/NextDevEffort
directly if you are a project member or just reply to that thread.
Cheers,
Daniel