--- a/src/Pure/System/session.scala Fri Jul 05 15:38:03 2013 +0200
+++ b/src/Pure/System/session.scala Fri Jul 05 16:01:45 2013 +0200
@@ -26,7 +26,7 @@
case class Global_Options(options: Options)
case object Caret_Focus
case class Raw_Edits(edits: List[Document.Edit_Text])
- case class Dialog_Result(id: Document_ID.ID, serial: Long, result: String)
+ case class Dialog_Result(id: Document_ID.Generic, serial: Long, result: String)
case class Commands_Changed(
assignment: Boolean, nodes: Set[Document.Node.Name], commands: Set[Command])
@@ -374,7 +374,7 @@
System.err.println("Ignoring prover output: " + output.message.toString)
}
- def accumulate(state_id: Document_ID.ID, message: XML.Elem)
+ def accumulate(state_id: Document_ID.Generic, message: XML.Elem)
{
try {
val st = global_state >>> (_.accumulate(state_id, message))
@@ -548,6 +548,6 @@
def update_options(options: Options)
{ session_actor !? Update_Options(options) }
- def dialog_result(id: Document_ID.ID, serial: Long, result: String)
+ def dialog_result(id: Document_ID.Generic, serial: Long, result: String)
{ session_actor ! Session.Dialog_Result(id, serial, result) }
}