Skip to content

Commit 79fcb48

Browse files
committed
Change fingerprint detection for error / warning markers in CodeMirror
1 parent fc67447 commit 79fcb48

File tree

1 file changed

+2
-2
lines changed

1 file changed

+2
-2
lines changed

components/CodeMirror2.re

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -498,8 +498,8 @@ let make =
498498
Belt.Array.map(
499499
errors,
500500
e => {
501-
let {Error.row, column, text} = e;
502-
{j|$row-$column-$text|j};
501+
let {Error.row, column} = e;
502+
{j|$row-$column|j};
503503
},
504504
)
505505
->Js.Array2.joinWith(";");

0 commit comments

Comments
 (0)