scroll_to_separator now scrolls to the top if there’s no separator.

src/windows.py

@@ -793,6 +793,8 @@ class TextWin(Win):
             self.pos = len(self.built_lines) - self.built_lines.index(None) - self.height + 1
             if self.pos < 0:
                 self.pos = 0
+        else:
+            self.pos = len(self.built_lines) - self.height + 1
         # Chose a proper position (not too high)
         self.scroll_up(0)
         # Make “next highlight” work afterwards. This makes it easy to