Skip to content

Switch customDevTools to assume dt instead of devtools_tool #5311

Closed

Description

@DanTup

Activity

  1. added
    is enhancementAn enhancement or improvement that should be listed in release notes but is not a bug fix.
    in devtoolsRelates to integration with Dart/Flutter DevTools
    on Oct 14, 2024
  2. added this to the v3.100.0 milestone on Oct 14, 2024
  3. DanTup commented on Oct 14, 2024

    @DanTup
    MemberAuthor

    Done. It's possible to switch back to the old one with a flag in case you're working on an old branch or something:

    "dart.customDevTools": {
      // ...
      "legacy": true,
    }
    

    (No promises that "legacy" means the same thing in the future!)

  4. added a commit that references this issue on Nov 7, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

No one assigned

    Labels

    in devtoolsRelates to integration with Dart/Flutter DevToolsis enhancementAn enhancement or improvement that should be listed in release notes but is not a bug fix.

    Type

    No type

    Projects

    No projects

      Milestone

      Relationships

      None yet

      Development

      No branches or pull requests

      Issue actions