This exposes a new API from the extension that provides access to the SDK paths/versions and DTD URI, including events that fire if/when they might change.
Fixes #5008

DanTup added is enhancement

An enhancement or improvement that should be listed in release notes but is not a bug fix.

in api

Relates to the API exported by the Dart-Code extension for use by other extensions.

labels

Jul 7, 2025

Well spotted, Copilot!

This was referenced

Jul 7, 2025

Closed

Co-authored-by: gemini-code-assist[bot] <176961590+gemini-code-assist[bot]@users.noreply.github.com>

This allows the exports to still work after an internal restart.

Closed

11 tasks

DanTup deleted the new-extension-api branch

July 8, 2025 13:12

Open