Closed
Description
Some extensions contribute ui for example in html preview and decorations. It would be good if those colors could be sourced from the theme. Imagine you have a test coverage extension that out green/red indicators next to the line. These colors could be based on the diff editor addition/deletion colors.