quintenk
/
miller
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Add lint gutter

This commit is contained in:
Quinten Kock 2025-12-02 23:41:35 +01:00
parent 24aaf68184
commit 38698c24ed
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
src/app/editor.ts
View File

@ -32,7 +32,7 @@ import {
import { languages } from "@codemirror/language-data"; import { languages } from "@codemirror/language-data";
import { autocompletion, closeBrackets } from "@codemirror/autocomplete"; import { autocompletion, closeBrackets } from "@codemirror/autocomplete";
import { highlightSelectionMatches, searchKeymap } from "@codemirror/search"; import { highlightSelectionMatches, searchKeymap } from "@codemirror/search";
import { lintKeymap } from "@codemirror/lint"; import { lintGutter, lintKeymap } from "@codemirror/lint";
import van from "vanjs-core"; import van from "vanjs-core";
import { Displayable } from "./displayable"; import { Displayable } from "./displayable";
import { createLspExtension } from "./lsp"; import { createLspExtension } from "./lsp";
@ -146,6 +146,7 @@ export class Editor extends Displayable {
lineNumbers(), lineNumbers(),
highlightSpecialChars(), highlightSpecialChars(),
foldGutter(), foldGutter(),
lintGutter(),
drawSelection(), drawSelection(),
dropCursor(), dropCursor(),
EditorState.allowMultipleSelections.of(true), EditorState.allowMultipleSelections.of(true),