onDapHubConfigChanged property
Persists a changed hub url / agent name (the settings-hub DAP / Hub
flow) through the hub client's ~/.dap/config.json read-modify-write
— the single authority for that file's format. Null (tests without a
fake, web) keeps the change session-only.
Implementation
final Future<void> Function({String? url, String? name})?
onDapHubConfigChanged;