themable paginator

git-svn-id: file:///home/shish/svn/shimmie2/trunk@350 7f39781d-f577-437e-ae19-be835c7a54ca

core/paginator.class.php

@@ -1,52 +0,0 @@
-<?php
-
-class Paginator extends Block {
-	var $header = null;
-	var $body = "";
-
-	public function Paginator($page, $query, $page_number, $total_pages) {
-		$this->body = $this->build_paginator($page_number, $total_pages, $page, $query);
-		$this->section = "main";
-		$this->position = 90;
-	}
-
-	private function gen_page_link($base_url, $query, $page, $name) {
-		$link = make_link("$base_url/$page", $query);
-	    return "<a href='$link'>$name</a>";
-	}
-	
-	private function gen_page_link_block($base_url, $query, $page, $current_page, $name) {
-		$paginator = "";
-	    if($page == $current_page) $paginator .= "<b>";
-	    $paginator .= $this->gen_page_link($base_url, $query, $page, $name);
-	    if($page == $current_page) $paginator .= "</b>";
-	    return $paginator;
-	}
-					
-	private function build_paginator($current_page, $total_pages, $base_url, $query) {
-		$next = $current_page + 1;
-		$prev = $current_page - 1;
-		$rand = rand(1, $total_pages);
-
-		$at_start = ($current_page <= 1 || $total_pages <= 1);
-		$at_end = ($current_page >= $total_pages);
-
-		$first_html  = $at_start ? "First" : $this->gen_page_link($base_url, $query, 1,            "First");
-		$prev_html   = $at_start ? "Prev"  : $this->gen_page_link($base_url, $query, $prev,        "Prev");
-		$random_html =                       $this->gen_page_link($base_url, $query, $rand,        "Random");
-		$next_html   = $at_end   ? "Next"  : $this->gen_page_link($base_url, $query, $next,        "Next");
-		$last_html   = $at_end   ? "Last"  : $this->gen_page_link($base_url, $query, $total_pages, "Last");
-
-		$start = $current_page-5 > 1 ? $current_page-5 : 1;
-		$end = $start+10 < $total_pages ? $start+10 : $total_pages;
-
-		$pages = array();
-		foreach(range($start, $end) as $i) {
-			$pages[] = $this->gen_page_link_block($base_url, $query, $i, $current_page, $i);
-		}
-		$pages_html = implode(" | ", $pages);
-
-		return "<p class='paginator'>$first_html | $prev_html | $random_html | $next_html | $last_html".
-				"<br>&lt;&lt; $pages_html &gt;&gt;</p>";
-	}
-}

ext/comment/theme.php

@@ -16,7 +16,7 @@ class CommentListTheme extends Themelet {
 		$page->set_title("Comments");
 		$page->set_heading("Comments");
 		$page->add_block(new Block("Navigation", $nav, "left"));
-		$page->add_block(new Paginator("comment/list", null, $page_number, $total_pages), 90);
+		$this->display_paginator($page, "comment/list", null, $page_number, $total_pages);
 	}
 
 	public function display_recent_comments($page, $comments) {

ext/index/theme.php

@@ -32,7 +32,7 @@ class IndexTheme extends Themelet {
 		$page->add_block(new Block("Navigation", $nav, "left", 0));
 		if(count($images) > 0) {
 			$page->add_block(new Block("Images", $this->build_table($images, $query), "main", 10));
-			$page->add_block(new Paginator("post/list", $query, $this->page_number, $this->total_pages));
+			$this->display_paginator($page, "post/list", $query, $this->page_number, $this->total_pages);
 		}
 		else {
 			$page->add_block(new Block("No Images Found", "No images were found to match the search criteria"));

themes/danbooru/comment.theme.php

@@ -16,7 +16,7 @@ class CommentListTheme extends Themelet {
 		$page->set_title("Comments");
 		$page->set_heading("Comments");
 		$page->add_block(new Block("Navigation", $nav, "left"));
-		$page->add_block(new Paginator("comment/list", null, $page_number, $total_pages), 90);
+		$this->display_paginator($page, "comment/list", null, $page_number, $total_pages);
 		$page->disable_left();
 	}
 

themes/danbooru/index.theme.php

@@ -26,7 +26,7 @@ class IndexTheme extends Themelet {
 		$page->add_block(new Block("Search", $nav, "left", 0));
 		if(count($images) > 0) {
 			$page->add_block(new Block("Images", $this->build_table($images, $query), "main", 10));
-			$page->add_block(new Paginator("post/list", $query, $this->page_number, $this->total_pages));
+			$this->display_paginator($page, "post/list", $query, $this->page_number, $this->total_pages);
 		}
 		else {
 			$page->add_block(new Block("No Images Found", "No images were found to match the search criteria"));

themes/danbooru/themelet.class.php

@@ -7,5 +7,50 @@ class Themelet {
 		$page->add_block(new NavBlock());
 		$page->add_block(new Block("Error", $message));
 	}
+
+	public function display_paginator($page, $base, $query, $page_number, $total_pages) {
+		$body = $this->build_paginator($page_number, $total_pages, $base, $query);
+		$page->add_block(new Block(null, $body, "main", 90));
+	}
+
+	private function gen_page_link($base_url, $query, $page, $name) {
+		$link = make_link("$base_url/$page", $query);
+	    return "<a href='$link'>$name</a>";
+	}
+	
+	private function gen_page_link_block($base_url, $query, $page, $current_page, $name) {
+		$paginator = "";
+	    if($page == $current_page) $paginator .= "<b>";
+	    $paginator .= $this->gen_page_link($base_url, $query, $page, $name);
+	    if($page == $current_page) $paginator .= "</b>";
+	    return $paginator;
+	}
+					
+	private function build_paginator($current_page, $total_pages, $base_url, $query) {
+		$next = $current_page + 1;
+		$prev = $current_page - 1;
+		$rand = rand(1, $total_pages);
+
+		$at_start = ($current_page <= 1 || $total_pages <= 1);
+		$at_end = ($current_page >= $total_pages);
+
+		$first_html  = $at_start ? "First" : $this->gen_page_link($base_url, $query, 1,            "First");
+		$prev_html   = $at_start ? "Prev"  : $this->gen_page_link($base_url, $query, $prev,        "Prev");
+		$random_html =                       $this->gen_page_link($base_url, $query, $rand,        "Random");
+		$next_html   = $at_end   ? "Next"  : $this->gen_page_link($base_url, $query, $next,        "Next");
+		$last_html   = $at_end   ? "Last"  : $this->gen_page_link($base_url, $query, $total_pages, "Last");
+
+		$start = $current_page-5 > 1 ? $current_page-5 : 1;
+		$end = $start+10 < $total_pages ? $start+10 : $total_pages;
+
+		$pages = array();
+		foreach(range($start, $end) as $i) {
+			$pages[] = $this->gen_page_link_block($base_url, $query, $i, $current_page, $i);
+		}
+		$pages_html = implode(" | ", $pages);
+
+		return "<p class='paginator'>$first_html | $prev_html | $random_html | $next_html | $last_html".
+				"<br>&lt;&lt; $pages_html &gt;&gt;</p>";
+	}
 }
 ?>

themes/default/themelet.class.php

@@ -7,5 +7,51 @@ class Themelet {
 		$page->add_side_block(new NavBlock());
 		$page->add_main_block(new Block("Error", $message));
 	}
+
+
+	public function display_paginator($page, $base, $query, $page_number, $total_pages) {
+		$body = $this->build_paginator($page_number, $total_pages, $base, $query);
+		$page->add_block(new Block(null, $body, "main", 90));
+	}
+
+	private function gen_page_link($base_url, $query, $page, $name) {
+		$link = make_link("$base_url/$page", $query);
+	    return "<a href='$link'>$name</a>";
+	}
+	
+	private function gen_page_link_block($base_url, $query, $page, $current_page, $name) {
+		$paginator = "";
+	    if($page == $current_page) $paginator .= "<b>";
+	    $paginator .= $this->gen_page_link($base_url, $query, $page, $name);
+	    if($page == $current_page) $paginator .= "</b>";
+	    return $paginator;
+	}
+					
+	private function build_paginator($current_page, $total_pages, $base_url, $query) {
+		$next = $current_page + 1;
+		$prev = $current_page - 1;
+		$rand = rand(1, $total_pages);
+
+		$at_start = ($current_page <= 1 || $total_pages <= 1);
+		$at_end = ($current_page >= $total_pages);
+
+		$first_html  = $at_start ? "First" : $this->gen_page_link($base_url, $query, 1,            "First");
+		$prev_html   = $at_start ? "Prev"  : $this->gen_page_link($base_url, $query, $prev,        "Prev");
+		$random_html =                       $this->gen_page_link($base_url, $query, $rand,        "Random");
+		$next_html   = $at_end   ? "Next"  : $this->gen_page_link($base_url, $query, $next,        "Next");
+		$last_html   = $at_end   ? "Last"  : $this->gen_page_link($base_url, $query, $total_pages, "Last");
+
+		$start = $current_page-5 > 1 ? $current_page-5 : 1;
+		$end = $start+10 < $total_pages ? $start+10 : $total_pages;
+
+		$pages = array();
+		foreach(range($start, $end) as $i) {
+			$pages[] = $this->gen_page_link_block($base_url, $query, $i, $current_page, $i);
+		}
+		$pages_html = implode(" | ", $pages);
+
+		return "<p class='paginator'>$first_html | $prev_html | $random_html | $next_html | $last_html".
+				"<br>&lt;&lt; $pages_html &gt;&gt;</p>";
+	}
 }
 ?>