When closing DrJava with a modified file, choosing
"Yes" (I want to save the file), then choosing cancel
at the file chooser, DrJava still quits. However,
since the file was never saved, DrJava should not have
quit. This bug does not occur in the 6-23 development
Log in to post a comment.