detached method Null safety
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();
}