void updatePath(String path) { _changes.add(path); if (!_pending) { _pending = true; DsTimer.callLater(_doUpdate); } }