Original title does not cover problem anymore. Problem has evolved to that when clicking on the name for the source file (in LaTeX) a jump to the beginning of the document was made. This problem is fixed with this patch.