/**
* Render the page navigator, if necessary.
* Only called if {@link $show_paginotor} is True. Called from {@link _draw()}.
* @param boolean $include_anchor_id If true, renders the id for the
* pager.
* @access private
*/
protected function _draw_pager($include_anchor_id)
{
$output = $this->pager->as_html();
if ($output) {
if ($include_anchor_id && $this->pager->page_anchor) {
echo '<div class="pager" id="' . $this->pager->page_anchor . '">' . $output . '</div>';
} else {
echo '<div class="pager">' . $output . '</div>';
}
}
}
