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