src/Datagrid/Pager.php
public function setCursor($pos)
    {
        if ($pos < 1) {
            $this->cursor = 1;
        } else {
            if ($pos > $this->nbResults) {
                $this->cursor = $this->nbResults;
            } else {
                $this->cursor = $pos;
            }
        }
    }
public function setCursor($pos)
    {
        if ($pos < 1) {
            $this->cursor = 1;
        } else {
            if ($pos > $this->nbResults) {
                $this->cursor = $this->nbResults;
            } else {
                $this->cursor = $pos;
            }
        }
    }
public function setCursor ( $ pos ) { if ( $ pos < 1 ) { $ this -> cursor = 1 ; } else { if ( $ pos > $ this -> nbResults ) { $ this -> cursor = $ this -> nbResults ; } else { $ this -> cursor = $ pos ; } } }
Sets the current cursor.

@param int $pos
Sets the current cursor .