equal
deleted
inserted
replaced
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 |