src/Pure/PIDE/session.scala

   { if (edits.nonEmpty) manager.send_wait(Session.Raw_Edits(doc_blobs, edits)) }
 
   def update_options(options: Options)
   { manager.send_wait(Update_Options(options)) }
 
-  def init_options(options: Options)
-  {
-    update_options(options)
-  }
-
   def dialog_result(id: Document_ID.Generic, serial: Long, result: String)
   { manager.send(Session.Dialog_Result(id, serial, result)) }
 
   def build_theories(id: String, master_dir: Path, theories: List[(Options, List[Path])])
   { manager.send(Session.Build_Theories(id, master_dir, theories)) }