-
Notifications
You must be signed in to change notification settings - Fork 36.5k
Closed
Labels
*duplicateIssue identified as a duplicate of another issue(s)Issue identified as a duplicate of another issue(s)editor-coreEditor basic functionalityEditor basic functionalityfeature-requestRequest for new features or functionalityRequest for new features or functionality
Description
- VSCode Version: 1.21
- OS Version: macOS Sierra/HS
With the recent release, themers are able to add borders to highlighted words (thank-you for this). However, it'd be nice to be able change the style of the borders using something like:
"editor.wordHighlightBorderStyle": "solid" / "editor.wordHighlightBorder.style": "solid"
Then provide solid, dashed, dotted as options.
abarisain, mupkoo and kanlukasz
Metadata
Metadata
Assignees
Labels
*duplicateIssue identified as a duplicate of another issue(s)Issue identified as a duplicate of another issue(s)editor-coreEditor basic functionalityEditor basic functionalityfeature-requestRequest for new features or functionalityRequest for new features or functionality