# HG changeset patch # User robcast # Date 1011277792 -3600 # Node ID 58cddc46cf5541337697c4d7e583e623e8efd4a7 # Parent eb9e75b199cf9d6e4c48d8b8bfec9d136fc89fc2 First import of client module diff -r eb9e75b199cf -r 58cddc46cf55 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(); + } +}