Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
proper state update;
authorwenzelm
Sat, 31 Dec 2016 14:27:07 +0100
changeset 64721 4b9c96c3850b
parent 64720 8cc2d7c4ada1
child 64722 6df73de0d3c7
proper state update;
src/Tools/VSCode/src/vscode_resources.scala file | annotate | diff | comparison | revisions 
--- a/src/Tools/VSCode/src/vscode_resources.scala	Sat Dec 31 14:20:50 2016 +0100
+++ b/src/Tools/VSCode/src/vscode_resources.scala	Sat Dec 31 14:27:07 2016 +0100
@@ -97,9 +97,12 @@
             (uri, model) <- st.models.iterator
             if changed_files(model.file)
             model1 <- model.update_file
-          } yield (uri, model)).toList
+          } yield (uri, model1)).toList
         if (changed_models.isEmpty) (false, st)
-        else (true, st.copy(models = (st.models /: changed_models)(_ + _)))
+        else (true,
+          st.copy(
+            models = (st.models /: changed_models)(_ + _),
+            pending_input = (st.pending_input /: changed_models.iterator.map(_._1))(_ + _)))
       })
isabelle