review fixes

scalameta · Mar 15, 2024 · 5baada2 · 5baada2
1 parent e9b7b5c
commit 5baada2
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 1 deletion.
diff --git a/metals/src/main/scala/scala/meta/internal/builds/ShellRunner.scala b/metals/src/main/scala/scala/meta/internal/builds/ShellRunner.scala
@@ -131,6 +131,8 @@ class ShellRunner(time: Time, workDoneProvider: WorkDoneProgress)(implicit
       commandRun,
       processFuture,
       onCancel = Some(() => {
+        if (logInfo)
+          scribe.info(s"user cancelled $commandRun")
         result.trySuccess(ExitCodes.Cancel)
         ps.cancel
       }),

diff --git a/metals/src/main/scala/scala/meta/internal/metals/WorkDoneProgress.scala b/metals/src/main/scala/scala/meta/internal/metals/WorkDoneProgress.scala
@@ -10,6 +10,7 @@ import scala.concurrent.ExecutionContext
 import scala.concurrent.Future
 
 import scala.meta.internal.metals.MetalsEnrichments._
+import scala.meta.internal.metals.WorkDoneProgress.Token
 
 import org.eclipse.lsp4j.ProgressParams
 import org.eclipse.lsp4j.WorkDoneProgressBegin
@@ -25,7 +26,6 @@ class WorkDoneProgress(
     time: Time,
 )(implicit ec: ExecutionContext)
     extends Cancelable {
-  type Token = messages.Either[String, Integer]
   case class Task(
       onCancel: Option[() => Unit],
       showTimer: Boolean,