Commits

Anonymous committed 3584439

Fix for navigating to folded text.

  • Participants
  • Parent commits 92ecdc4
  • Branches Boa_0-4-0_pre

Comments (0)

Files changed (1)

File Views/SourceViews.py

         vl = self.GetFirstVisibleLine()
         self.LineScroll(0, lineno -  vl)
         if offset != -1: self.SetCurrentPos(self.GetCurrentPos()+offset+1)
+        self.EnsureVisible(lineno)
 
     def selectSection(self, lineno, start, word):
         self.gotoLine(lineno)
         startPos = self.PositionFromLine(lineno) + start
         endPos = startPos + length
         self.SetSelection(startPos, endPos)
-
         self.SetFocus()
+        self.EnsureVisible(lineno)
 
     def selectLine(self, lineno):
         self.GotoLine(lineno)
         # Dont do whole screen selection
         ep = max(0, self.PositionFromLine(lineno+1)-1)
         self.SetSelection(sp, ep)
+        self.EnsureVisible(lineno)
 
     def insertCodeBlock(self, text):
         cp = self.GetCurrentPos()