Method update

src/services/ide/selection.py:48–58

Record a new selection from the IDE.

(self, selection: IDESelection)

        return [e.selection for e in reversed(self._history)]

    def update(self, selection: IDESelection) -> None:
        """Record a new selection from the IDE."""
        entry = SelectionEntry(selection=selection, timestamp=time.time())
        self._history.append(entry)
        if len(self._history) > self._max_history:
            self._history = self._history[-self._max_history:]
        for listener in self._listeners:
            try:
                listener(selection)
            except Exception:
                logger.exception("Error in selection listener")

    def on_selection(self, listener: Callable[[IDESelection], None]) -> Callable[[], None]:
        """Register a selection change listener. Returns unsubscribe function."""