diff options
author | 2023-08-15 16:56:50 +0200 | |
---|---|---|
committer | 2023-08-15 17:23:41 +0200 | |
commit | 12b9dfe1c88569830ed25c0913de8c3db6175100 (patch) | |
tree | e4d2dbac5b5939180c3fcf249a6505fa4909da2c /subprojects/frontend/src/editor | |
parent | refactor(language): invalid multiplicity trace (diff) | |
download | refinery-12b9dfe1c88569830ed25c0913de8c3db6175100.tar.gz refinery-12b9dfe1c88569830ed25c0913de8c3db6175100.tar.zst refinery-12b9dfe1c88569830ed25c0913de8c3db6175100.zip |
chore(deps): bump dependencies
Diffstat (limited to 'subprojects/frontend/src/editor')
-rw-r--r-- | subprojects/frontend/src/editor/DiagnosticValue.ts | 1 | ||||
-rw-r--r-- | subprojects/frontend/src/editor/EditorTheme.ts | 2 |
2 files changed, 2 insertions, 1 deletions
diff --git a/subprojects/frontend/src/editor/DiagnosticValue.ts b/subprojects/frontend/src/editor/DiagnosticValue.ts index 20478262..410a46b7 100644 --- a/subprojects/frontend/src/editor/DiagnosticValue.ts +++ b/subprojects/frontend/src/editor/DiagnosticValue.ts | |||
@@ -14,6 +14,7 @@ export default class DiagnosticValue extends RangeValue { | |||
14 | error: new DiagnosticValue('error'), | 14 | error: new DiagnosticValue('error'), |
15 | warning: new DiagnosticValue('warning'), | 15 | warning: new DiagnosticValue('warning'), |
16 | info: new DiagnosticValue('info'), | 16 | info: new DiagnosticValue('info'), |
17 | hint: new DiagnosticValue('hint'), | ||
17 | }; | 18 | }; |
18 | 19 | ||
19 | private constructor(public readonly severity: Severity) { | 20 | private constructor(public readonly severity: Severity) { |
diff --git a/subprojects/frontend/src/editor/EditorTheme.ts b/subprojects/frontend/src/editor/EditorTheme.ts index e057ce18..4afb93e6 100644 --- a/subprojects/frontend/src/editor/EditorTheme.ts +++ b/subprojects/frontend/src/editor/EditorTheme.ts | |||
@@ -64,7 +64,7 @@ export default styled('div', { | |||
64 | }, | 64 | }, |
65 | '.cm-focused': { | 65 | '.cm-focused': { |
66 | outline: 'none', | 66 | outline: 'none', |
67 | '.cm-selectionBackground': { | 67 | '& > .cm-scroller > .cm-selectionLayer .cm-selectionBackground': { |
68 | background: theme.palette.highlight.selection, | 68 | background: theme.palette.highlight.selection, |
69 | }, | 69 | }, |
70 | }, | 70 | }, |