From 237ec2ad9c0ac3e0fa1515699ebaa1df41405378 Mon Sep 17 00:00:00 2001
From: Andrew Dolgov <fox@madoka.spb.ru>
Date: Tue, 17 Jul 2007 04:29:53 +0100
Subject: disable headlines pagination (add hidden pref
 _PREFS_ENABLE_PAGINATION)

---
 functions.php | 11 ++++++++---
 1 file changed, 8 insertions(+), 3 deletions(-)

(limited to 'functions.php')

diff --git a/functions.php b/functions.php
index 9f7f39d24..4257184c1 100644
--- a/functions.php
+++ b/functions.php
@@ -3043,10 +3043,13 @@
 					<li class=\"top\"><a href=\"$catchup_page_link\">".__('Mark as read')."</a><ul>
 						<li onclick=\"$catchup_page_link\">".__('This page')."</li>
 						<li onclick=\"$catchup_feed_link\">".__('Entire feed')."</li></ul></li>
-					<li class=\"vsep\">&nbsp;</li>";
+					";
 
-					if ($limit != 0 && !$search) {
+					$enable_pagination = get_pref($link, "_PREFS_ENABLE_PAGINATION");
+
+					if ($limit != 0 && !$search && $enable_pagination) {
 						print "
+						<li class=\"vsep\">&nbsp;</li>
 						<li class=\"top\"><a href=\"$page_next_link\">".__('Next page')."</a><ul>
 							<li onclick=\"$page_prev_link\">".__('Previous page')."</li>
 							<li onclick=\"$page_first_link\">".__('First page')."</li></ul></li>
@@ -3054,7 +3057,9 @@
 						}
 
 					if ($search && $feed_id >= 0 && get_pref($link, 'ENABLE_LABELS') && GLOBAL_ENABLE_LABELS) {
-						print "<li class=\"top3\">
+						print "
+							<li class=\"vsep\">&nbsp;</li>
+							<li class=\"top3\">
 							<a href=\"javascript:labelFromSearch('$search', '$search_mode',
 								'$match_on', '$feed_id', '$is_cat');\">
 								".__('Convert to label')."</a></td>";
-- 
cgit v1.2.3-54-g00ecf