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