Skip to content

Commit 10a7c26

Browse files
committed
fix: keep default codemirror lint plugin to be hidden
1 parent 5bdf88b commit 10a7c26

File tree

1 file changed

+2
-1
lines changed

1 file changed

+2
-1
lines changed

src/cm/lsp/diagnostics.js

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -160,7 +160,8 @@ export function lspDiagnosticsUiExtension(includeGutter = true) {
160160
tr.effects.some((effect) => effect.is(setPublishedDiagnostics)),
161161
);
162162
},
163-
autoPanel: true,
163+
// keep panel closed by default
164+
autoPanel: false,
164165
}),
165166
];
166167
if (includeGutter) {

0 commit comments

Comments
 (0)