Problem saving a file [DROPBOX]

Richard Kimberly Heck rikiheck at
Mon Sep 21 15:48:41 UTC 2020

On 9/21/20 11:11 AM, Jürgen Spitzmüller wrote:
> Am Montag, den 21.09.2020, 11:06 -0400 schrieb Richard Kimberly Heck:
>> What would happen if a stale autosave file were left?
> Probably nothing, except that it pollutes the disk.

I mean, is it possible that Dropbox on Windows has some kind of lock on
it? Or that it's been put there by some other user who's also editing
the document? That would explain one of the errors Julio was seeing.


More information about the lyx-users mailing list