Change pencil hover cursor to pointer (#164198)

Fixes #149955
This commit is contained in:
Raymond Zhao 2022-10-20 17:38:39 -07:00 committed by GitHub
parent 42e8636bbb
commit ee76531665
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -214,3 +214,7 @@
.monaco-editor .dim-configuration {
color: #b1b1b1;
}
.codicon-settings-edit:hover {
cursor: pointer;
}