dispose method

void dispose()

Idempotent after clearAll. Implemented as a thin wrapper so the controller's dispose call site is in place even when no extra work is needed.

Implementation

void dispose() {
  clearAll();
}