Interface fixes for synctex in emacs

Merged Thorsten Wißmann requested to merge thorsten/katarakt:master into master

Merge request reports