search

ikuraj / alloy4eclipse

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

NullPointerException when closing and reopening an Alloy file #8

Closed GoogleCodeExporter closed 8 years ago

GoogleCodeExporter commented 8 years ago 
In the current SVN code (release 0.0.5 on update site), there is an issue
that appears when an Alloy file is reopened in an editor: a null pointer
exception will prevent the editor to display correctly.

It will open any non already opened file too.

*The only workaround currently is to close eclipse and start it again!*

That issue must be fixed ASAP.

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

GoogleCodeExporter commented 8 years ago 
The NPE problem is fixed on SVN. Thanks Antoine.

However, the "compile on save" feature non longer works.

This is a regression bug, that needs to be fixed ASAP.

Original comment by daniel.l...@gmail.com on 3 Apr 2007 at 7:14

GoogleCodeExporter commented 8 years ago

Original comment by daniel.l...@gmail.com on 6 Apr 2007 at 1:07