The pdf file open in the internal pdfviewer does not contain the file of Tex file name. To avoid any confusion it is of interest to show the pdf file name correspondent to the actual pdf viewed one.
Anonymous
You seem to have CSS turned off. Please don't fill out this field.
