On Mon, Aug 19, 2024 at 07:17:42PM -0400, Richard Kimberly Heck wrote: > On 8/19/24 3:44 PM, Pavel Sanda wrote: > > On Mon, Aug 19, 2024 at 11:15:50AM -0400, Richard Kimberly Heck wrote: > > > On 8/19/24 9:38 AM, Pavel Sanda wrote: > > > > On Mon, Aug 19, 2024 at 11:21:37AM +0200, Jean-Marc Lasgouttes wrote: > > > > > I do not remember such a deliberate changel, but I may have missed it > > > > > (or we'll find out that I did it on purpose and forgot about it ????). > > > > It looks as unintended change of 5b2b0d5c76cf2. Riki? > > > Not intended. Fine with me to go back to the old behavior. > > Ok, attached is my proposal. I flag the document only in the case > > of file deletion, not just the external change. > > Seems to work with in my testing. > > > > If you are OK with it, I'll commit to master and branch.' > > Simple enough!
Fixed by e322ef153d. Pavel -- lyx-devel mailing list lyx-devel@lists.lyx.org http://lists.lyx.org/mailman/listinfo/lyx-devel
