#513 - Added devtools command

This commit is contained in:
Elio Struyf
2023-02-28 14:45:18 +01:00
parent 8bc63a48a0
commit cbeda07d25
3 changed files with 17 additions and 2 deletions
+4 -1
View File
@@ -1022,10 +1022,13 @@ vscode-divider {
a {
color: var(--vscode-statusBar-debuggingForeground);
margin: 0 0.25em;
padding: 0 0.25em;
text-decoration: none;
&:hover,
&:focus {
color: var(--vscode-statusBarItem-hoverForeground);
color: var(--vscode-statusBar-debuggingForeground);
background: var(--vscode-statusBarItem-hoverBackground);
outline: none;
}