Ticket #22 (closed defect: fixed)
version history of a file gets lost sometimes
|Reported by:||stefan||Owned by:|
Even without changing the filename or moving the file the version history gets sometimes lost. I'm not sure what's the reason for this problem. It might be related to different working directory at the start of JLatexEditor.