detached method Null safety

void detached()

Called by the DOM when this element has been removed from the live document.

More information can be found in the Custom Elements draft specification.

Implementation

void detached() {
  // For the deprecation period, call the old callback.
  leftView();
}