improvement: queue or cancel previous connect request

scalameta · Aug 19, 2024 · 779c0af · 779c0af
1 parent e537ad6
commit 779c0af
Show file tree

Hide file tree

Showing 5 changed files with 344 additions and 85 deletions.
diff --git a/metals/src/main/scala/scala/meta/internal/bsp/BuildChange.scala b/metals/src/main/scala/scala/meta/internal/bsp/BuildChange.scala
@@ -12,4 +12,5 @@ object BuildChange {
   case object Failed extends BuildChange
   case object Reconnected extends BuildChange
   case object Reloaded extends BuildChange
+  case object Cancelled extends BuildChange
 }