// AcroReloadPDF.js, version 20090202

////////////////////////////////////////////////////////////////////////
//
// AcroReloadPDF.js, version 20090202
//
// * folder level JavaScript, to be put to:
//
// $HOME/.adobe/Acrobat/8.0/JavaScripts
// (version number might need to be adjusted)
//
// * adds item ``Reload'' to the ``File'' menu of Adobe Reader
// * reloads the current document and restores page number and zoom
// state
//
// Alexander Grahn, 2009
//
// This material is in the Public Domain.
//
////////////////////////////////////////////////////////////////////////

reloadCurrentDoc=app.trustedFunction(function(currentDoc){
app.beginPriv();
var currentDocView=currentDoc.viewState;
var currentDocPath=currentDoc.path;
currentDoc.closeDoc();
currentDoc=app.openDoc(currentDocPath);
currentDoc.viewState=currentDocView;
app.endPriv();
});

app.addMenuItem({
cName: "reloadCurDoc",
cUser: "Reloa&d",
cParent: "File",
cExec: "reloadCurrentDoc(event.target);",
cEnable: "event.rc = (event.target != null);",
nPos: "Open",
bPrepend: true
});