'Store to what most recent line we have (been) scrolled.'
self._bookmark_idx_pos = self._last_read_idx_pos + 1
+ @property
+ def has_unread_highlight(self) -> bool:
+ 'Whether any of the unread lines are marked for highlighting.'
+ return bool([line for line in self._history[-self.n_lines_unread:]
+ if line.startswith('*')])
+
@property
def n_lines_unread(self) -> int:
'How many new lines have been logged since last focus.'
item = str(w.idx)
if (n := w.history.n_lines_unread):
item = f'({item}:{n})'
+ if w.history.has_unread_highlight:
+ item = f'*{item}'
if w.idx == self.idx_focus:
focused = w
item = f'[{item}]'