Skip to content

Add "Change where DevTools appears" command to embedded non-sidebar panels #5533

Closed
Closed
Add "Change where DevTools appears" command to embedded non-sidebar panels#5533
Labels
in commandsRelates to commands (usually invoked from the command Palette)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.
Milestone
v3.114.0

Description

@DanTup
DanTup
opened on Jun 4, 2025

When DevTools is hosted in the sidebar, we show this command:

Image

Which opens the setting for changing the location.

We should also show it for non-sidebar embedded panels.

Activity

  1. DanTup
    added
    is enhancementAn enhancement or improvement that should be listed in release notes but is not a bug fix.
    on Jun 4, 2025
  2. DanTup
    added this to the v3.114.0 milestone on Jun 4, 2025
  3. DanTup
    closed this as completedin 17c2ef0on Jun 12, 2025
  4. DanTup
    added
    in commandsRelates to commands (usually invoked from the command Palette)
    in devtoolsRelates to integration with Dart/Flutter DevTools
    on Jun 12, 2025
  5. pull
    added a commit that references this issue on Jun 12, 2025

    Show "openDevToolsLocationSetting" command for embedded non-sidebar p…

    17c2ef0
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 commandsRelates to commands (usually invoked from the command Palette)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