Mercurial > hg > digilib-old

annotate client/digitallibrary/oldskin/pageWin.html @ 514:e91d6050f27d

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
zoom and pan marks in red prettier js
author robcast
date Thu, 03 Sep 2009 15:39:18 +0200
parents ccddc9a5b63b
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
315
d7f0045384f5 big autumn cleaning :-)
robcast
parents:
diff changeset
1 <html>
d7f0045384f5 big autumn cleaning :-)
robcast
parents:
diff changeset
2 <head>
d7f0045384f5 big autumn cleaning :-)
robcast
parents:
diff changeset
3 <script type="text/javascript">
d7f0045384f5 big autumn cleaning :-)
robcast
parents:
diff changeset
4 var pn = "-";
d7f0045384f5 big autumn cleaning :-)
robcast
parents:
diff changeset
5 var pt = "-";
d7f0045384f5 big autumn cleaning :-)
robcast
parents:
diff changeset
6 if ((parent.mainFrame.getParameter)&&(parent.mainFrame.getParameter("pn"))) {
d7f0045384f5 big autumn cleaning :-)
robcast
parents:
diff changeset
7 pt = parent.mainFrame.getParameter("pt");
d7f0045384f5 big autumn cleaning :-)
robcast
parents:
diff changeset
8 pn = parent.mainFrame.getParameter("pn");
322
ccddc9a5b63b fixed small problem with page numbers for slow loading pages
robcast
parents: 315
diff changeset
9 } else {
ccddc9a5b63b fixed small problem with page numbers for slow loading pages
robcast
parents: 315
diff changeset
10 // if the mainFrame is not ready then wait
ccddc9a5b63b fixed small problem with page numbers for slow loading pages
robcast
parents: 315
diff changeset
11 setTimeout("show()", 500);
315
d7f0045384f5 big autumn cleaning :-)
robcast
parents:
diff changeset
12 }
d7f0045384f5 big autumn cleaning :-)
robcast
parents:
diff changeset
13
d7f0045384f5 big autumn cleaning :-)
robcast
parents:
diff changeset
14 function show() {
d7f0045384f5 big autumn cleaning :-)
robcast
parents:
diff changeset
15 location.reload();
d7f0045384f5 big autumn cleaning :-)
robcast
parents:
diff changeset
16 }
d7f0045384f5 big autumn cleaning :-)
robcast
parents:
diff changeset
17 </script>
d7f0045384f5 big autumn cleaning :-)
robcast
parents:
diff changeset
18 </head>
d7f0045384f5 big autumn cleaning :-)
robcast
parents:
diff changeset
19 <body bgcolor="#CCCCCC" topmargin="5" marginheight="5">
d7f0045384f5 big autumn cleaning :-)
robcast
parents:
diff changeset
20 <p style="font-family: Verdana, Arial, Helvetica, sans-serif; text-align: center; color: #CC3333; font-size: 11px">
d7f0045384f5 big autumn cleaning :-)
robcast
parents:
diff changeset
21 <script type="text/javascript">document.write(pn+'<b> of </b>'+pt);</script>
d7f0045384f5 big autumn cleaning :-)
robcast
parents:
diff changeset
22 </p>
d7f0045384f5 big autumn cleaning :-)
robcast
parents:
diff changeset
23 </body>
d7f0045384f5 big autumn cleaning :-)
robcast
parents:
diff changeset
24 </html>