toolListChanged property

Stream<ToolListChangedNotification?> get toolListChanged

Emits an event any time the server notifies us of a change to the list of tools it supports.

This is a broadcast stream, events are not buffered and only future events are given.

Implementation

Stream<ToolListChangedNotification?> get toolListChanged =>
    _toolListChangedController.stream;