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;