Hey everyone--
Peter and I have been having a debate on how DrJava should behave if
you try to open a file that is already open. (Specifically, whether or
not it should give you a message in any case.) We have not been able to
agree, so we'd welcome your input... :) Take a look at Ease of use
Issue 543703 (Reopening a File) when you get a chance and add any
feedback that you have...
Thanks,
Charlie
|
