src/Pure/PIDE/document.scala
changeset 46152 793cecd4ffc0
parent 45900 793bf5fa5fbf
child 46178 1c5c88f6feb5
     1.1 --- a/src/Pure/PIDE/document.scala	Sat Jan 07 11:45:53 2012 +0100
     1.2 +++ b/src/Pure/PIDE/document.scala	Sat Jan 07 12:39:46 2012 +0100
     1.3 @@ -325,12 +325,12 @@
     1.4      def accumulate(id: ID, message: XML.Elem): (Command.State, State) =
     1.5        execs.get(id) match {
     1.6          case Some(st) =>
     1.7 -          val new_st = st.accumulate(message)
     1.8 +          val new_st = st + message
     1.9            (new_st, copy(execs = execs + (id -> new_st)))
    1.10          case None =>
    1.11            commands.get(id) match {
    1.12              case Some(st) =>
    1.13 -              val new_st = st.accumulate(message)
    1.14 +              val new_st = st + message
    1.15                (new_st, copy(commands = commands + (id -> new_st)))
    1.16              case None => fail
    1.17            }