tuned comments;
authorwenzelm
Mon Apr 28 15:20:59 2014 +0200 (2014-04-28 ago)
changeset 56772725a192f8081
parent 56771 28d62a5b07e8
child 56773 5c7ade7a1e74
tuned comments;
src/Pure/PIDE/session.scala
     1.1 --- a/src/Pure/PIDE/session.scala	Mon Apr 28 15:18:37 2014 +0200
     1.2 +++ b/src/Pure/PIDE/session.scala	Mon Apr 28 15:20:59 2014 +0200
     1.3 @@ -500,7 +500,7 @@
     1.4            case Stop =>
     1.5              if (prover.isDefined && is_ready) {
     1.6                _protocol_handlers = _protocol_handlers.stop(prover.get)
     1.7 -              global_state.change(_ => Document.State.init)  // FIXME event bus!?
     1.8 +              global_state.change(_ => Document.State.init)
     1.9                phase = Session.Shutdown
    1.10                prover.get.terminate
    1.11              }