Skip to content

Customize highlight/selection border style #54074

@peterschussheim

Description

@peterschussheim

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.

code - insiders008

Possible Related Issues

Metadata

Metadata

Assignees

Labels

themesColor theme issues

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions