Updating `devtools_options.yaml` or `pubspec.yaml` doesn't update the extensions
Abierto
devtools extensions
P2
product-quality
- Lenguaje dominante
- Dart
- Estrellas
- 1.7k
- Forks
- 404
- Merge medio
- 6 d 17 h
- PR fusionados (30 d)
- 18
Descripción
If we edit `devtools_options.yaml` to enable/disable the extensions, it only seems to reload them by restarting the server. Also, removing the package from dependencies doesn't seem to update anything either. Maybe I'm doing something wrong but I could not make it update devtools.
Guía de contribución
Evaluación
Este issue todavía no se ha evaluado.