src/Tools/VSCode/src/vscode_resources.scala
changeset 64721 4b9c96c3850b
parent 64719 55c871fc39e3
child 64722 6df73de0d3c7
equal deleted inserted replaced
64720:8cc2d7c4ada1 64721:4b9c96c3850b
    95         val changed_models =
    95         val changed_models =
    96           (for {
    96           (for {
    97             (uri, model) <- st.models.iterator
    97             (uri, model) <- st.models.iterator
    98             if changed_files(model.file)
    98             if changed_files(model.file)
    99             model1 <- model.update_file
    99             model1 <- model.update_file
   100           } yield (uri, model)).toList
   100           } yield (uri, model1)).toList
   101         if (changed_models.isEmpty) (false, st)
   101         if (changed_models.isEmpty) (false, st)
   102         else (true, st.copy(models = (st.models /: changed_models)(_ + _)))
   102         else (true,
       
   103           st.copy(
       
   104             models = (st.models /: changed_models)(_ + _),
       
   105             pending_input = (st.pending_input /: changed_models.iterator.map(_._1))(_ + _)))
   103       })
   106       })
   104 
   107 
   105 
   108 
   106   /* pending input */
   109   /* pending input */
   107 
   110