diff options
| author |  Kristóf Marussy <kristof@marussy.com> | 2021-10-25 20:56:35 +0200 |
|---|---|---|
| committer | Kristóf Marussy <kristof@marussy.com> | 2021-10-31 19:26:12 +0100 |
| commit | 8bca9baf3cb371eb45023eb986b8730e21cf728c (patch) | |
| tree | 07e3bae4e84f40a61ac13ac122a3a7e7de32b798 /language-web/src/main/js/editor/XtextClient.ts | |
| parent | feat(web): disconnect background tabs only (diff) | |
| download | refinery-8bca9baf3cb371eb45023eb986b8730e21cf728c.tar.gz refinery-8bca9baf3cb371eb45023eb986b8730e21cf728c.tar.zst refinery-8bca9baf3cb371eb45023eb986b8730e21cf728c.zip | |
feat(web): show lint status on lint button
Diffstat (limited to 'language-web/src/main/js/editor/XtextClient.ts')
| -rw-r--r-- | language-web/src/main/js/editor/XtextClient.ts | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/language-web/src/main/js/editor/XtextClient.ts b/language-web/src/main/js/editor/XtextClient.ts index 27ef4165..1c6c0ae6 100644 --- a/language-web/src/main/js/editor/XtextClient.ts +++ b/language-web/src/main/js/editor/XtextClient.ts | |||
| @@ -1,4 +1,4 @@ | |||
| 1 | import { Diagnostic, setDiagnostics } from '@codemirror/lint'; | 1 | import type { Diagnostic } from '@codemirror/lint'; |
| 2 | import { | 2 | import { |
| 3 | ChangeDesc, | 3 | ChangeDesc, |
| 4 | ChangeSet, | 4 | ChangeSet, |
| @@ -108,7 +108,7 @@ export class XtextClient { | |||
| 108 | message: issue.description, | 108 | message: issue.description, |
| 109 | }); | 109 | }); |
| 110 | }); | 110 | }); |
| 111 | this.store.dispatch(setDiagnostics(this.store.state, diagnostics)); | 111 | this.store.updateDiagnostics(diagnostics); |
| 112 | } | 112 | } |
| 113 | 113 | ||
| 114 | private computeChangesSinceLastUpdate() { | 114 | private computeChangesSinceLastUpdate() { |