-
Notifications
You must be signed in to change notification settings - Fork 38.8k
Closed
Labels
bugIssue identified by VS Code Team member as probable bugIssue identified by VS Code Team member as probable bugeditor-bracket-matchingEditor brace matchingEditor brace matchinginsiders-releasedPatch has been released in VS Code InsidersPatch has been released in VS Code InsidersverifiedVerification succeededVerification succeeded
Milestone
Description
Hi,
For matching brackets "editorBracketMatch.border" is no longer functional. "editorBracketMatch.background" still works.
I suspect this has been caused by commit 83b528d.
BracketMatching.css currently has border: var(--vscode-editorBracketMatch-border); but I presume this should be border: 1px solid var(--vscode-editorBracketMatch-border);
--
Does this issue occur when all extensions are disabled? Yes
Version: 1.74.0-insider (user setup)
Commit: ef41557
Date: 2022-11-11T05:19:14.666Z
Electron: 19.1.3
Chromium: 102.0.5005.167
Node.js: 16.14.2
V8: 10.2.154.15-electron.0
OS: Windows_NT x64 10.0.20348
Sandboxed: Yes
Reactions are currently unavailable
Metadata
Metadata
Assignees
Labels
bugIssue identified by VS Code Team member as probable bugIssue identified by VS Code Team member as probable bugeditor-bracket-matchingEditor brace matchingEditor brace matchinginsiders-releasedPatch has been released in VS Code InsidersPatch has been released in VS Code InsidersverifiedVerification succeededVerification succeeded