1. create an error in your file (dont save!) 2. wait for red error marker in editor is there 3. save document
Editor error marker will turn grey - expected: should stay red
1. create an error in your file (dont save!)
2. wait for red error marker in editor is there
3. save document
Editor error marker will turn grey - expected: should stay red