]> git.joonet.de Git - adminer.git/commitdiff
Compact pages
authorjakubvrana <jakubvrana@7c3ca157-0c34-0410-bff1-cbf682f78f5c>
Wed, 25 Jul 2007 16:31:47 +0000 (16:31 +0000)
committerjakubvrana <jakubvrana@7c3ca157-0c34-0410-bff1-cbf682f78f5c>
Wed, 25 Jul 2007 16:31:47 +0000 (16:31 +0000)
git-svn-id: https://adminer.svn.sourceforge.net/svnroot/adminer/trunk@252 7c3ca157-0c34-0410-bff1-cbf682f78f5c

select.inc.php

index d3de582ba165b026f2e26b8e984837d386a20ff7..1d76a7d34e523699f8d631ea28e6134032167902 100644 (file)
@@ -174,10 +174,22 @@ function add_row(field) {
                }
                echo "</table>\n";
                if (intval($limit) && $found_rows > $limit) {
-                       echo "<p>" . lang('Page') . ":\n";
-                       for ($i=0; $i < $found_rows / $limit; $i++) {
-                               echo ($i == $_GET["page"] ? $i + 1 : '<a href="' . htmlspecialchars(preg_replace('~(\\?)page=[^&]*&|&page=[^&]*~', '\\1', $_SERVER["REQUEST_URI"]) . ($i ? "&page=$i" : "")) . '">' . ($i + 1) . "</a>") . "\n";
+                       $max_page = floor($found_rows / $limit);
+                       function print_page($page) {
+                               echo " " . ($page == $_GET["page"] ? $page + 1 : '<a href="' . htmlspecialchars(preg_replace('~(\\?)page=[^&]*&|&page=[^&]*~', '\\1', $_SERVER["REQUEST_URI"]) . ($page ? "&page=$page" : "")) . '">' . ($page + 1) . "</a>");
                        }
+                       echo "<p>" . lang('Page') . ":";
+                       print_page(0);
+                       if ($_GET["page"] > 3) {
+                               echo " ...";
+                       }
+                       for ($i = max(1, $_GET["page"] - 2); $i < min($max_page, $_GET["page"] + 3); $i++) {
+                               print_page($i);
+                       }
+                       if ($_GET["page"] + 3 < $max_page) {
+                               echo " ...";
+                       }
+                       print_page($max_page);
                        echo "</p>\n";
                }
        }