I opened (without saving to disk) a dvi file posted on
a web page. After viewing, I decide to save a copy, but
the "Save As" option under the File tab was grayed out.
I had to re-click on the link and use download to disk.
Now I notice that the same is true on every local dvi
file that I open: the Save As option is grayed out.
Log in to post a comment.