refactor(CodeEditor): remove the right border of gutters (#7137)

refactor: remove the right border of gutters
This commit is contained in:
one 2025-06-13 11:02:22 +08:00 committed by GitHub
parent 06d495c7e1
commit 3b3b3c961e
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

View File

@ -321,6 +321,7 @@ mjx-container {
.cm-gutters {
line-height: 1.6;
border-right: none;
}
.cm-content {