disable headlines pagination (add hidden pref _PREFS_ENABLE_PAGINATION)

1 files changed, 8 insertions, 3 deletions

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>";