--- a/src/Tools/jEdit/src/isabelle_options.scala Thu Dec 13 18:15:53 2012 +0100
+++ b/src/Tools/jEdit/src/isabelle_options.scala Thu Dec 13 19:53:55 2012 +0100
@@ -45,7 +45,7 @@
"jedit_tooltip_font_scale", "jedit_symbols_search_limit", "jedit_tooltip_margin",
"threads", "threads_trace", "parallel_proofs", "parallel_proofs_threshold", "ML_statistics",
"editor_load_delay", "editor_input_delay", "editor_output_delay", "editor_reparse_limit",
- "editor_tracing_limit_MB", "editor_update_delay")
+ "editor_tracing_messages", "editor_update_delay")
relevant_options.foreach(PIDE.options.value.check_name _)