From c0899b62833d40f58e953777263f9bb24d8f0e09 Mon Sep 17 00:00:00 2001
From: Earl Miles <merlin@logrus.com>
Date: Thu, 24 Apr 2008 22:15:19 +0000
Subject: [PATCH] Fix pager which was claiming to be full but showing mini for
a setting that was sort of in between.
---
includes/plugins.inc | 2 +-
theme/theme.inc | 2 +-
2 files changed, 2 insertions(+), 2 deletions(-)
diff --git a/includes/plugins.inc b/includes/plugins.inc
index 8dcb135ca..a0ca7ef4a 100644
--- a/includes/plugins.inc
+++ b/includes/plugins.inc
@@ -652,7 +652,7 @@ class views_plugin_display extends views_plugin {
$options['use_pager'] = array(
'category' => 'basic',
'title' => t('Use pager'),
- 'value' => $this->get_option('use_pager') ? ($this->get_option('use_pager') == 'mini' ? t('Mini') : t('Yes')) : t('No'),
+ 'value' => $this->get_option('use_pager') ? ($this->get_option('use_pager') === 'mini' ? t('Mini') : t('Yes')) : t('No'),
'desc' => t("Change this display's pager setting."),
);
}
diff --git a/theme/theme.inc b/theme/theme.inc
index 45033c64b..2a9d3dfe1 100644
--- a/theme/theme.inc
+++ b/theme/theme.inc
@@ -75,7 +75,7 @@ function template_preprocess_views_view(&$vars) {
$vars['pager'] = '';
if (!empty($view->pager['use_pager'])) {
- $pager_type = $view->pager['use_pager'] == 'mini' ? 'views_mini_pager' : 'pager';
+ $pager_type = ($view->pager['use_pager'] === 'mini' ? 'views_mini_pager' : 'pager');
$vars['pager'] = theme($pager_type, $view->exposed_input, $view->pager['items_per_page'], $view->pager['element']);
}
--
GitLab