--- a/src/Pure/PIDE/protocol.ML Fri Mar 17 23:24:04 2017 +0100
+++ b/src/Pure/PIDE/protocol.ML Sat Mar 18 12:24:56 2017 +0100
@@ -14,7 +14,8 @@
val _ =
Isabelle_Process.protocol_command "Prover.options"
(fn [options_yxml] =>
- Isabelle_Process.init_protocol_options (Options.decode (YXML.parse_body options_yxml)));
+ (Options.set_default (Options.decode (YXML.parse_body options_yxml));
+ Isabelle_Process.init_options_interactive ()));
val _ =
Isabelle_Process.protocol_command "Document.define_blob"