Skip to content

Don't pass VS Code editor font size to DevTools #5406

Closed

Description

@DanTup

We pass the editor font size to DevTools with the intention of making things larger for users that might prefer/require larger fonts. However in practice, this results in much larger DevTools than expected and since the editor font size applies only to the editor, users are likely to instead zoom the whole VS Code window (which also includes DevTools) if they would like everything bigger.

There's some discussion in flutter/devtools#8243, but the TL;DR is that we should remove this and allow DevTools to appear standard size by default, and scale with the zoom settings, not the editor font.

Activity

  1. added
    in devtoolsRelates to integration with Dart/Flutter DevTools
    is enhancementAn enhancement or improvement that should be listed in release notes but is not a bug fix.
    on Feb 5, 2025
  2. added this to the v3.106.0 milestone on Feb 5, 2025
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