From 12b9dfe1c88569830ed25c0913de8c3db6175100 Mon Sep 17 00:00:00 2001
From: Kristóf Marussy <kristof@marussy.com>
Date: Tue, 15 Aug 2023 16:56:50 +0200
Subject: chore(deps): bump dependencies

---
 subprojects/frontend/src/editor/DiagnosticValue.ts | 1 +
 subprojects/frontend/src/editor/EditorTheme.ts     | 2 +-
 subprojects/frontend/src/index.tsx                 | 8 ++++----
 subprojects/frontend/src/xtext/XtextClient.ts      | 5 ++++-
 4 files changed, 10 insertions(+), 6 deletions(-)

(limited to 'subprojects/frontend/src')

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 {
     error: new DiagnosticValue('error'),
     warning: new DiagnosticValue('warning'),
     info: new DiagnosticValue('info'),
+    hint: new DiagnosticValue('hint'),
   };
 
   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', {
     },
     '.cm-focused': {
       outline: 'none',
-      '.cm-selectionBackground': {
+      '& > .cm-scroller > .cm-selectionLayer .cm-selectionBackground': {
         background: theme.palette.highlight.selection,
       },
     },
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 {
 }
 
 class Post {
-    Person author
-    Post[0..1] replyTo
+    Person[1] author
+    Post replyTo
 }
 
 // Constraints
@@ -27,7 +27,7 @@ error replyToNotFriend(Post x, Post y) <->
     author(y, yAuthor),
     !friend(xAuthor, yAuthor).
 
-error replyToCycle(Post x) <-> replyTo+(x,x).
+error replyToCycle(Post x) <-> replyTo+(x, x).
 
 // Instance model
 Person(a).
@@ -40,7 +40,7 @@ Post(p2).
 author(p2, b).
 replyTo(p2, p1).
 
-!author(Post::new, a). // Automatically inferred: author(Post::new, b).
+!author(Post::new, a).
 
 // Scope
 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 {
 
   private readonly occurrencesService: OccurrencesService;
 
-  constructor(store: EditorStore, private readonly pwaStore: PWAStore) {
+  constructor(
+    store: EditorStore,
+    private readonly pwaStore: PWAStore,
+  ) {
     this.webSocketClient = new XtextWebSocketClient(
       () => this.onReconnect(),
       () => this.onDisconnect(),
-- 
cgit v1.2.3-54-g00ecf