Closed JacksonKearl closed 4 years ago
Currently it is impossible to differentiate between a word hilighted because it matches the current token and one hilighted because it matches the current token and is being selected. I personally chainged it to be:
"editor.selectionHighlightBackground": "#ff00ff33"
For the result: Where the first cons is selected, the second is selected and hilighted, and the third is just hilighted.
Hi @JacksonKearl , I've updated the theme with the color you mention since it looks good to me. Thanks for your help!
Currently it is impossible to differentiate between a word hilighted because it matches the current token and one hilighted because it matches the current token and is being selected. I personally chainged it to be:
For the result: Where the first cons is selected, the second is selected and hilighted, and the third is just hilighted.