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 | |
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')
-rw-r--r-- | subprojects/frontend/src/editor/DiagnosticValue.ts | 1 | ||||
-rw-r--r-- | subprojects/frontend/src/editor/EditorTheme.ts | 2 | ||||
-rw-r--r-- | subprojects/frontend/src/index.tsx | 8 | ||||
-rw-r--r-- | subprojects/frontend/src/xtext/XtextClient.ts | 5 |
4 files changed, 10 insertions, 6 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 | }, |
diff --git a/subprojects/frontend/src/index.tsx b/subprojects/frontend/src/index.tsx index cb11e6c3..a2746748 100644 --- a/subprojects/frontend/src/index.tsx +++ b/subprojects/frontend/src/index.tsx | |||
@@ -16,8 +16,8 @@ class Person { | |||
16 | } | 16 | } |
17 | 17 | ||
18 | class Post { | 18 | class Post { |
19 | Person author | 19 | Person[1] author |
20 | Post[0..1] replyTo | 20 | Post replyTo |
21 | } | 21 | } |
22 | 22 | ||
23 | // Constraints | 23 | // Constraints |
@@ -27,7 +27,7 @@ error replyToNotFriend(Post x, Post y) <-> | |||
27 | author(y, yAuthor), | 27 | author(y, yAuthor), |
28 | !friend(xAuthor, yAuthor). | 28 | !friend(xAuthor, yAuthor). |
29 | 29 | ||
30 | error replyToCycle(Post x) <-> replyTo+(x,x). | 30 | error replyToCycle(Post x) <-> replyTo+(x, x). |
31 | 31 | ||
32 | // Instance model | 32 | // Instance model |
33 | Person(a). | 33 | Person(a). |
@@ -40,7 +40,7 @@ Post(p2). | |||
40 | author(p2, b). | 40 | author(p2, b). |
41 | replyTo(p2, p1). | 41 | replyTo(p2, p1). |
42 | 42 | ||
43 | !author(Post::new, a). // Automatically inferred: author(Post::new, b). | 43 | !author(Post::new, a). |
44 | 44 | ||
45 | // Scope | 45 | // Scope |
46 | scope Post = 10..15, Person += 0. | 46 | scope Post = 10..15, Person += 0. |
diff --git a/subprojects/frontend/src/xtext/XtextClient.ts b/subprojects/frontend/src/xtext/XtextClient.ts index e8181af0..abdf8518 100644 --- a/subprojects/frontend/src/xtext/XtextClient.ts +++ b/subprojects/frontend/src/xtext/XtextClient.ts | |||
@@ -37,7 +37,10 @@ export default class XtextClient { | |||
37 | 37 | ||
38 | private readonly occurrencesService: OccurrencesService; | 38 | private readonly occurrencesService: OccurrencesService; |
39 | 39 | ||
40 | constructor(store: EditorStore, private readonly pwaStore: PWAStore) { | 40 | constructor( |
41 | store: EditorStore, | ||
42 | private readonly pwaStore: PWAStore, | ||
43 | ) { | ||
41 | this.webSocketClient = new XtextWebSocketClient( | 44 | this.webSocketClient = new XtextWebSocketClient( |
42 | () => this.onReconnect(), | 45 | () => this.onReconnect(), |
43 | () => this.onDisconnect(), | 46 | () => this.onDisconnect(), |