|
From: Charles R. <cr...@ri...> - 2002-04-16 04:31:47
|
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 |