aboutsummaryrefslogtreecommitdiffstats
path: root/subprojects/frontend/src/editor
diff options
context:
space:
mode:
authorLibravatar Kristóf Marussy <kristof@marussy.com>2023-08-15 16:56:50 +0200
committerLibravatar Kristóf Marussy <kristof@marussy.com>2023-08-15 17:23:41 +0200
commit12b9dfe1c88569830ed25c0913de8c3db6175100 (patch)
treee4d2dbac5b5939180c3fcf249a6505fa4909da2c /subprojects/frontend/src/editor
parentrefactor(language): invalid multiplicity trace (diff)
downloadrefinery-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.ts1
-rw-r--r--subprojects/frontend/src/editor/EditorTheme.ts2
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 },