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!
Riki
--
lyx-devel mailing list
lyx-devel@lists.lyx.org
http://lists.lyx.org/mailman/listinfo/lyx-devel
