dispose method
void
dispose()
Puts the expander install found back, only if the slot still holds this system's own tear-off.
Implementation
void dispose() {
if (!_installed) return;
_installed = false;
final mine = document.commands.expander == _expand;
if (mine) document.commands.expander = _previous;
_previous = null;
assert(mine, 'TableLabelSystem disposed out of order (spec 14a T12)');
}