Am 14.09.2022 um 20:17 schrieb Enrico Forestieri <for...@lyx.org>: > > On Sun, Aug 14, 2022 at 11:44:52PM +0200, Enrico Forestieri wrote: >> >> Only a suggestion: I would simply check for "-synctex=" rather than >> "--synctex=1" because the double dash is optional and any value >> different from 0 would do (I don't think someone would specify it). > > I did that at 90551a03.
Thank you. I forgot about it :( - sorry. Stephan -- lyx-devel mailing list lyx-devel@lists.lyx.org http://lists.lyx.org/mailman/listinfo/lyx-devel
