Only add .tex extension to source files in pdfsync/synctex support when an extension is missing.
Only add .tex extension to source files in pdfsync/synctex support when an extension is missing.

JackieXie168/skim,JackieXie168/skim,JackieXie168/skim,JackieXie168/skim,JackieXie168/skim