# HG changeset patch
# User wenzelm
# Date 1646324130 -3600
# Node ID b0910e6c13209daea8b2cc3336baf490a2388c52
# Parent  ee1bd0687c2b8f2c16fa66045d8dbd25e6bb211f
tuned, based on suggestions by IntelliJ IDEA;

diff -r ee1bd0687c2b -r b0910e6c1320 src/Tools/VSCode/src/lsp.scala
--- a/src/Tools/VSCode/src/lsp.scala	Thu Mar 03 17:13:24 2022 +0100
+++ b/src/Tools/VSCode/src/lsp.scala	Thu Mar 03 17:15:30 2022 +0100
@@ -306,7 +306,7 @@
   {
     def unapply_change(json: JSON.T): Option[TextDocumentChange] =
       for { text <- JSON.string(json, "text") }
-      yield TextDocumentChange(JSON.value(json, "range", Range.unapply _), text)
+      yield TextDocumentChange(JSON.value(json, "range", Range.unapply), text)
 
     def unapply(json: JSON.T): Option[(JFile, Long, List[TextDocumentChange])] =
       json match {
@@ -316,7 +316,7 @@
             uri <- JSON.string(doc, "uri")
             if Url.is_wellformed_file(uri)
             version <- JSON.long(doc, "version")
-            changes <- JSON.list(params, "contentChanges", unapply_change _)
+            changes <- JSON.list(params, "contentChanges", unapply_change)
           } yield (Url.absolute_file(uri), version, changes)
         case _ => None
       }
@@ -444,7 +444,7 @@
   object GotoDefinition extends RequestTextDocumentPosition("textDocument/definition")
   {
     def reply(id: Id, result: List[Line.Node_Range]): JSON.T =
-      ResponseMessage(id, Some(result.map(Location.apply(_))))
+      ResponseMessage(id, Some(result.map(Location.apply)))
   }