Mercurial > hg > digilib

annotate client/digitallibrary/oldskin/pageWin.html @ 650:b6fdd915c7e8 jquery

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
restore the old scaler url
author hertzhaft
date Fri, 21 Jan 2011 00:49:45 +0100
parents 2d8fb3593bc3
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
311
58d9cbdfb0c9 big autumn cleaning :-)
robcast
parents:
diff changeset
1 <html>
58d9cbdfb0c9 big autumn cleaning :-)
robcast
parents:
diff changeset
2 <head>
58d9cbdfb0c9 big autumn cleaning :-)
robcast
parents:
diff changeset
3 <script type="text/javascript">
58d9cbdfb0c9 big autumn cleaning :-)
robcast
parents:
diff changeset
4 var pn = "-";
58d9cbdfb0c9 big autumn cleaning :-)
robcast
parents:
diff changeset
5 var pt = "-";
58d9cbdfb0c9 big autumn cleaning :-)
robcast
parents:
diff changeset
6 if ((parent.mainFrame.getParameter)&&(parent.mainFrame.getParameter("pn"))) {
58d9cbdfb0c9 big autumn cleaning :-)
robcast
parents:
diff changeset
7 pt = parent.mainFrame.getParameter("pt");
58d9cbdfb0c9 big autumn cleaning :-)
robcast
parents:
diff changeset
8 pn = parent.mainFrame.getParameter("pn");
318
2d8fb3593bc3 fixed small problem with page numbers for slow loading pages
robcast
parents: 311
diff changeset
9 } else {
2d8fb3593bc3 fixed small problem with page numbers for slow loading pages
robcast
parents: 311
diff changeset
10 // if the mainFrame is not ready then wait
2d8fb3593bc3 fixed small problem with page numbers for slow loading pages
robcast
parents: 311
diff changeset
11 setTimeout("show()", 500);
311
58d9cbdfb0c9 big autumn cleaning :-)
robcast
parents:
diff changeset
12 }
58d9cbdfb0c9 big autumn cleaning :-)
robcast
parents:
diff changeset
13
58d9cbdfb0c9 big autumn cleaning :-)
robcast
parents:
diff changeset
14 function show() {
58d9cbdfb0c9 big autumn cleaning :-)
robcast
parents:
diff changeset
15 location.reload();
58d9cbdfb0c9 big autumn cleaning :-)
robcast
parents:
diff changeset
16 }
58d9cbdfb0c9 big autumn cleaning :-)
robcast
parents:
diff changeset
17 </script>
58d9cbdfb0c9 big autumn cleaning :-)
robcast
parents:
diff changeset
18 </head>
58d9cbdfb0c9 big autumn cleaning :-)
robcast
parents:
diff changeset
19 <body bgcolor="#CCCCCC" topmargin="5" marginheight="5">
58d9cbdfb0c9 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">
58d9cbdfb0c9 big autumn cleaning :-)
robcast
parents:
diff changeset
21 <script type="text/javascript">document.write(pn+'<b> of </b>'+pt);</script>
58d9cbdfb0c9 big autumn cleaning :-)
robcast
parents:
diff changeset
22 </p>
58d9cbdfb0c9 big autumn cleaning :-)
robcast
parents:
diff changeset
23 </body>
58d9cbdfb0c9 big autumn cleaning :-)
robcast
parents:
diff changeset
24 </html>