| 1 |
<?php |
<?php |
| 2 |
// $Id: views.inc,v 1.6 2009/04/30 22:28:30 merlinofchaos Exp $ |
// $Id: views.inc,v 1.7 2009/04/30 22:49:40 merlinofchaos Exp $ |
| 3 |
|
|
| 4 |
/** |
/** |
| 5 |
* @file |
* @file |
| 191 |
|
|
| 192 |
// Only set use_pager if they differ, this way we can avoid overwriting the |
// Only set use_pager if they differ, this way we can avoid overwriting the |
| 193 |
// pager type that Views uses. |
// pager type that Views uses. |
| 194 |
if (!$view->display_handler->set_option('use_pager') || empty($conf['use_pager'])) { |
if (!$view->display_handler->get_option('use_pager') || empty($conf['use_pager'])) { |
| 195 |
$view->display_handler->set_option('use_pager', $conf['use_pager']); |
$view->display_handler->set_option('use_pager', $conf['use_pager']); |
| 196 |
} |
} |
| 197 |
$view->display_handler->set_option('pager_element', $conf['pager_id']); |
$view->display_handler->set_option('pager_element', $conf['pager_id']); |