src/Tools/VSCode/src/server.scala
changeset 64702 d95b9117cb5b
parent 64692 ccf017e2f2b4
child 64703 a115391494ed
     1.1 --- a/src/Tools/VSCode/src/server.scala	Thu Dec 29 16:00:29 2016 +0100
     1.2 +++ b/src/Tools/VSCode/src/server.scala	Thu Dec 29 17:25:32 2016 +0100
     1.3 @@ -128,7 +128,7 @@
     1.4                model <- st.models.get(node_name.node)
     1.5                if model.changed } yield model).toList
     1.6            session.update(Document.Blobs.empty,
     1.7 -            for { model <- changed; edit <- model.node_edits(resources) } yield edit)
     1.8 +            for { model <- changed; edit <- model.node_edits } yield edit)
     1.9            st.copy(
    1.10              models = (st.models /: changed) { case (ms, m) => ms + (m.uri -> m.unchanged) },
    1.11              pending_input = Set.empty)