-
Fixed in SVN.
2009-11-23 23:35:38 UTC by mgricken
-
Fixed as of revision 5134.
When the handleOpenFile event comes in too late (in my experiments most of the time), DrJava will attempt to use the remote control to open the file in the restarted DrJava application. Of course, that only works if (1) remote control is enabled and (2) there isn't already another instance of DrJava running that is a remote control server.
2009-11-23 23:35:38 UTC by mgricken
-
This has been implemented in the current SVN version of DrJava. It should make its way into a stable release soon. If you would be willing to help us test this feature, post a comment here.
Thanks,
The DrJava Team.
2009-11-23 23:35:29 UTC by mgricken
-
Fixed in SVN.
2009-11-23 23:35:23 UTC by mgricken
-
Implemented as of revision 5134.
2009-11-23 23:35:23 UTC by mgricken
-
This has been implemented in the current SVN version of DrJava. It should make its way into a stable release soon. If you would be willing to help us test this feature, post a comment here.
Thanks,
The DrJava Team.
2009-11-23 23:35:20 UTC by mgricken
-
Implemented as of revision 5134.
2009-11-23 23:35:20 UTC by mgricken
-
mgricken committed revision 5134 to the DrJava SVN repository, changing 5 files.
2009-11-23 23:34:46 UTC by mgricken
-
mgricken committed revision 5133 to the DrJava SVN repository, changing 5 files.
2009-11-23 23:33:37 UTC by mgricken
-
The code didn't work when DrJava had to be restarted. However, now I have another problem: a race condition between DrJava.main and the ApplicationListener.handleOpenFile methods.
2009-11-23 19:37:01 UTC by mgricken