Closed thecrypticace closed 6 months ago
When the same document was open in multiple editors we'd only show color decorators in one of them. This PR fixes this by applying the colors to all visible editors for a given document.
Fixes #885
When the same document was open in multiple editors we'd only show color decorators in one of them. This PR fixes this by applying the colors to all visible editors for a given document.
Fixes #885