equal
deleted
inserted
replaced
669 # if no parent item (i.e. currentitem is the first header), then |
669 # if no parent item (i.e. currentitem is the first header), then |
670 # no change... |
670 # no change... |
671 nextitem = currentitem |
671 nextitem = currentitem |
672 |
672 |
673 self.currentselecteditem = nextitem |
673 self.currentselecteditem = nextitem |
|
674 self.recenterdisplayedarea() |
674 |
675 |
675 def downarrowevent(self): |
676 def downarrowevent(self): |
676 """ |
677 """ |
677 try to select the next item to the current item that has the |
678 try to select the next item to the current item that has the |
678 most-indented level. for example, if a hunk is selected, select |
679 most-indented level. for example, if a hunk is selected, select |
708 if nextitem is None: |
709 if nextitem is None: |
709 # if parent has no next sibling, then no change... |
710 # if parent has no next sibling, then no change... |
710 nextitem = currentitem |
711 nextitem = currentitem |
711 |
712 |
712 self.currentselecteditem = nextitem |
713 self.currentselecteditem = nextitem |
|
714 self.recenterdisplayedarea() |
713 |
715 |
714 def rightarrowevent(self): |
716 def rightarrowevent(self): |
715 """ |
717 """ |
716 select (if possible) the first of this item's child-items. |
718 select (if possible) the first of this item's child-items. |
717 """ |
719 """ |