Modifies the update_dev_manifest
script
#1727
Merged
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
update_dev_manifest.dart
script (added in Update builder logic for the Dart Debug Extension #1717) toupdate_dev_files.dart
scriptPreviously, the script:
manifest.json
(in the gitignoreddev_build
directory)manifest.json
icon from the normal icon to the dev iconWith this change, the script also:
background.js
to bebackground.dart.js
for DDCdevtool.js
file to prefix the Dart Debugger and Flutter Inspector panel names in Chrome DevTools with"[Dev]"