src/Pure/PIDE/session.scala

--- a/src/Pure/PIDE/session.scala	Fri Nov 07 16:22:25 2014 +0100
+++ b/src/Pure/PIDE/session.scala	Fri Nov 07 16:36:55 2014 +0100
@@ -610,6 +610,12 @@
   def update_options(options: Options)
   { manager.send_wait(Update_Options(options)) }
 
+  def init_options(options: Options)
+  {
+    update_options(options)
+    protocol_command("Document.init_keywords")
+  }
+
   def dialog_result(id: Document_ID.Generic, serial: Long, result: String)
   { manager.send(Session.Dialog_Result(id, serial, result)) }
 }