[RFC][PATCH] Improved synctex support

[Stephan Witt]

Am 14.09.2022 um 20:17 schrieb Enrico Forestieri <forenr at 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