The synctex option can also be specified by a single dash and
any value different from zero will do.
This commit is contained in:
Enrico Forestieri 2022-09-14 20:10:01 +02:00
parent 8319bdbbbe
commit 90551a03ac

View File

@ -1119,8 +1119,10 @@ bool Buffer::isSyncTeXenabled() const
const string dest = c.to().substr(0,3);
if (dest == "dvi" || dest == "pdf") {
const string cmd = c.command();
enabled |= cmd.find("--synctex=1") != string::npos;
if (enabled) break;
enabled |= cmd.find("-synctex=") != string::npos
&& cmd.find("-synctex=0") == string::npos;
if (enabled)
break;
}
}
return enabled;