diff options
| author |  Kristóf Marussy <kristof@marussy.com> | 2021-10-30 18:14:11 +0200 |
|---|---|---|
| committer | Kristóf Marussy <kristof@marussy.com> | 2021-10-31 19:26:14 +0100 |
| commit | aaa6fc289e49d715b71c908aefd156ee8c19491f (patch) | |
| tree | bfe7685018adec576267c2d80f703135e5b552e0 /language-web/src/main/js/editor/EditorStore.ts | |
| parent | feat(web): use theme colors in error markers (diff) | |
| download | refinery-aaa6fc289e49d715b71c908aefd156ee8c19491f.tar.gz refinery-aaa6fc289e49d715b71c908aefd156ee8c19491f.tar.zst refinery-aaa6fc289e49d715b71c908aefd156ee8c19491f.zip | |
fix(web): make lint panel readable
Diffstat (limited to 'language-web/src/main/js/editor/EditorStore.ts')
0 files changed, 0 insertions, 0 deletions