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;