# HG changeset patch # User robcast # Date 1137441224 -3600 # Node ID e01e9112adc346a1bb0a7fb271461eb89d604152 # Parent e96757237406879fd1803e000ff3e7e60fda91a1 a little nicer implementation of back/next page in oldskin diff -r e96757237406 -r e01e9112adc3 client/digitallibrary/digimage.jsp --- a/client/digitallibrary/digimage.jsp Mon Jan 16 20:36:32 2006 +0100 +++ b/client/digitallibrary/digimage.jsp Mon Jan 16 20:53:44 2006 +0100 @@ -54,7 +54,8 @@ newParameter('ddpix', '', 8); newParameter('ddpiy', '', 8); newParameter('mk', '', 16); - newParameter('pt', '<%= dlRequest.getAsString("pt") %>', 32); + newParameter('pt', '0', 32); + setParameter('pt', '<%= dlRequest.getAsString("pt") %>'); document.id='digilib'; dl_param_init(); diff -r e96757237406 -r e01e9112adc3 client/digitallibrary/oldskin/dlMenu.html --- a/client/digitallibrary/oldskin/dlMenu.html Mon Jan 16 20:36:32 2006 +0100 +++ b/client/digitallibrary/oldskin/dlMenu.html Mon Jan 16 20:53:44 2006 +0100 @@ -22,38 +22,13 @@ /** * overriding 'page' in navigation.js */ -function page(page, details) { - - var pn = parseInt(parent.mainFrame.getParameter("pn")); - var pt = parseInt(parent.mainFrame.getParameter("pt")); +function page(page, keep) { - if ( details == null ) { - details = 35; // fn, pn, ws, mo + pt - } - - if ( page && page.indexOf('-') == 0 ) { - if ( pn > 1 ) { - page = Math.max(pn - parseInt(page.slice(1)), 1); - parent.mainFrame.setParameter("pn", page); - display(details); - } else { - alert("You are already on the first page!"); - } - } else if ( page && page.indexOf('+') == 0 ) { - if ( pn < pt ) { - page = Math.min(pn + parseInt(page.slice(1)), pt); - parent.mainFrame.setParameter("pn", page); - display(details); - } else { - alert("You are already on the last page!"); - } - } else if ( page && page == parseInt(page) ) { - if ( (page > 0) && (page <= pt) ) { - parent.mainFrame.setParameter("pn", page); - display(details); - } else { - alert ("Illegal page number (should be 1 - " + pt + ")!"); - } + parent.mainFrame.gotoPage(page, keep); + if (parent.pageFrame.show) { + parent.pageFrame.show(); + } else { + parent.pageFrame.location.reload(); } } @@ -107,7 +82,7 @@ // variable to tell if while changing to another page it should keep the area // change in the menuitem its original mark -var keepArea = 35; // fn, pn, ws, mo + pt +var keepArea = false; // variable that store the texts for contexthelp @@ -158,7 +133,7 @@
- +