We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
showMessageRequest
1 parent 614265d commit 6226700Copy full SHA for 6226700
language-server/src/dotty/tools/languageserver/DottyLanguageServer.scala
@@ -594,10 +594,11 @@ class DottyLanguageServer extends LanguageServer
594
request.setMessage(message)
595
request.setType(tpe)
596
597
- client.showMessageRequest(request).thenApply { (answer: MessageActionItem) =>
598
- choices.find(_._1 == answer.getTitle).map {
599
- case (_, action) => action()
600
- }
+ client.showMessageRequest(request).thenApply { (message: MessageActionItem) =>
+ for {
+ answer <- Option(message)
+ (_, action) <- choices.find(_._1 == answer.getTitle)
601
+ } yield action()
602
}
603
604
0 commit comments