From 38698c24ed4f9971b3050572464c57c6fd7bddb5 Mon Sep 17 00:00:00 2001 From: Quinten Kock Date: Tue, 2 Dec 2025 23:41:35 +0100 Subject: [PATCH] Add lint gutter --- src/app/editor.ts | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/src/app/editor.ts b/src/app/editor.ts index a88c137..7543ad5 100644 --- a/src/app/editor.ts +++ b/src/app/editor.ts @@ -32,7 +32,7 @@ import { import { languages } from "@codemirror/language-data"; import { autocompletion, closeBrackets } from "@codemirror/autocomplete"; import { highlightSelectionMatches, searchKeymap } from "@codemirror/search"; -import { lintKeymap } from "@codemirror/lint"; +import { lintGutter, lintKeymap } from "@codemirror/lint"; import van from "vanjs-core"; import { Displayable } from "./displayable"; import { createLspExtension } from "./lsp"; @@ -146,6 +146,7 @@ export class Editor extends Displayable { lineNumbers(), highlightSpecialChars(), foldGutter(), + lintGutter(), drawSelection(), dropCursor(), EditorState.allowMultipleSelections.of(true),