code: def page_prev(self):
          
          window_start = (self.parent.value('window_start') -
                          self.parent.value('window_length'))
          if window_start < 0:
              return
          self.parent.overview.update_position(window_start)
docs: Go to the previous page.