dispose method Null safety

  1. @override
void dispose()

Discards any resources used by the object. After this is called, the object is not in a usable state and should be discarded (calls to addListener will throw after the object is disposed).

This method should only be called by the object's owner.


void dispose() {
  // Detaching will also unfocus and clean up the manager's data structures.