I'd like to be able to easily customize a theme to add or modify the highlight/selection border style. The high contrast theme provides a very nice dashed border when selecting and highlighting tokens.
It would be great to have this available in user settings so I can use other themes with this border style.

Possible Related Issues