Nick Payne wrote:
> If I go to Windows Explorer and try to delete the PDF from there
> I get an error message saying that it can't be done because the
> file is open by Java. Usually, closing and reopening jEdit fixes
> the problem, but a couple of times it hasn't and I have to kill
> javaw.exe with Task Manager to get things back on track.
+1
- Mark
_______________________________________________
lilypond-user mailing list
lilypond-user@gnu.org
http://lists.gnu.org/mailman/listinfo/lilypond-user
