onWidgetDispose method
Implementation
void onWidgetDispose(
String elementId,
ValueChanged<PaneTreeElement<T>> onElementChanged,
) {
logger.d('Unregistered $elementId');
_treeElementNotifiers.update(
elementId,
(v) => v..remove(onElementChanged),
);
if(_treeElementNotifiers[elementId]?.isEmpty ?? false) {
_treeElementNotifiers.remove(elementId);
}
}