added is enhancement

in devtools

labels

DanTup added a commit to DanTup/devtools that referenced this pull request

This extracts the code that updates the theme (to `_updateTheme`) and then calls it in response to either a DTD event or a postMessage event.
Fixes Dart-Code/Dart-Code#5297

+ update sidebar to use the same mechanism
+ remove hashes from colors in URLs to workaround Flutter issue
+ remove some unused variables
Fixes #4971