| commit | 203c62ec43a9eb5bcfbd4cbda97d43b071ceb999 | [log] [tgz] |
|---|---|---|
| author | Danny Tuppeny <danny@tuppeny.com> | Wed Dec 17 17:08:17 2025 +0000 |
| committer | GitHub <noreply@github.com> | Wed Dec 17 17:08:17 2025 +0000 |
| tree | 349009db2e33d4e461c753c3dc336ce164d5205f | |
| parent | 1af3032fa0ab85ab34fb0adc133602f087c01368 [diff] |
Move property_editor/reconnecting_overlay.dart -> not_connected_overlay.dart (#9594) The changes I made to this file prevented git from detecting it as a rename in my previous PR. To slightly simplify the review, I left the file where it was with a TODO to move after. This is just that move.
Dart & Flutter DevTools is a suite of performance tools for Dart and Flutter.
For documentation on installing and trying out DevTools, please see our docs.
Contributions welcome! See our contributing page for an overview of how to build and contribute to the project.
By using Dart DevTools, you agree to the Google Terms of Service. To understand how we use data collected from this service, see the Google Privacy Policy.