diff -r 5b37998e522e -r 162c1de6545a web/lib/Zend/Paginator/ScrollingStyle/Jumping.php --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/web/lib/Zend/Paginator/ScrollingStyle/Jumping.php Fri Mar 11 15:05:35 2011 +0100 @@ -0,0 +1,63 @@ +getPageRange(); + $pageNumber = $paginator->getCurrentPageNumber(); + + $delta = $pageNumber % $pageRange; + + if ($delta == 0) { + $delta = $pageRange; + } + + $offset = $pageNumber - $delta; + $lowerBound = $offset + 1; + $upperBound = $offset + $pageRange; + + return $paginator->getPagesInRange($lowerBound, $upperBound); + } +} \ No newline at end of file