src/Tools/VSCode/src/protocol.scala
changeset 67843 ff561f6e0a8e
parent 67813 3e226d3b7bc6
child 67850 3e9fe7a84b5d
equal deleted inserted replaced
67842:ff87225e7e8e 67843:ff561f6e0a8e
   307         case Notification("textDocument/didChange", Some(params)) =>
   307         case Notification("textDocument/didChange", Some(params)) =>
   308           for {
   308           for {
   309             doc <- JSON.value(params, "textDocument")
   309             doc <- JSON.value(params, "textDocument")
   310             uri <- JSON.string(doc, "uri")
   310             uri <- JSON.string(doc, "uri")
   311             version <- JSON.long(doc, "version")
   311             version <- JSON.long(doc, "version")
   312             changes <- JSON.array(params, "contentChanges", unapply_change _)
   312             changes <- JSON.list(params, "contentChanges", unapply_change _)
   313           } yield (Url.absolute_file(uri), version, changes)
   313           } yield (Url.absolute_file(uri), version, changes)
   314         case _ => None
   314         case _ => None
   315       }
   315       }
   316   }
   316   }
   317 
   317