src/Tools/jEdit/src/proofdocument/session.scala

 
   private var id_count: BigInt = 0
   def create_id(): String = synchronized { id_count += 1; "j" + id_count }
 
 
-  /* document state information -- vars belong to session_actor */
+  /* document state information -- owned by session_actor */
 
   @volatile private var outer_syntax = new Outer_Syntax(system.symbols)
   def syntax(): Outer_Syntax = outer_syntax
 
   @volatile private var states = Map[Isar_Document.State_ID, Command_State]()

   def stop() { session_actor ! Stop }
   def input(change: Change) { session_actor ! change }
 
   def begin_document(path: String): Proof_Document =
     (session_actor !? Begin_Document(path)).asInstanceOf[Proof_Document]
-
-
-  /* selected state */  // FIXME eliminate!?!
-
-  private var _selected_state: Command = null
-  def selected_state = _selected_state
-  def selected_state_=(state: Command) { _selected_state = state; results.event(state) }
 }