code: def focus_prev(self):
          
          w, focuspos = self.get_focus()
          prev = self._tree.prev_position(focuspos)
          if prev is not None:
              self.set_focus(prev)
docs: move focus to previous position (DFO)