# HG changeset patch # User robcast # Date 1011277792 -3600 # Node ID 36ab237acba4fa758971cb2bd3de41d7759574cd # Parent 865c689a64d71b93731b0623e460653c6375cd9d First import of client module diff -r 865c689a64d7 -r 36ab237acba4 client/digitallibrary/page.js --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/client/digitallibrary/page.js Thu Jan 17 15:29:52 2002 +0100 @@ -0,0 +1,13 @@ +function pageInfo() { + + // bug in netscape 4.xx (confunding px and pt) + var fontsize = document.layers ? "11pt" : "11px"; + + if (pageFrame) { + pageFrame.document.open(); + pageFrame.document.write('
'); + pageFrame.document.write(''); + pageFrame.document.write(att[1] + ' of ' + numPages + '
'); + pageFrame.document.close(); + } +}