Add --synctex-pid option for the case where the process is known
Signed-off-by:
Sebastian Ramacher <sebastian+dev@ramacher.at>
Showing
Please register or sign in to comment
Signed-off-by:
Sebastian Ramacher <sebastian+dev@ramacher.at>