Do not call HighlightRects if there was no usable output from synctex view
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>