# HG changeset patch
# User wenzelm
# Date 1355152017 -3600
# Node ID c7f366a861edb1c289bad8417ffc6dd5f1b21aaf
# Parent  f4f5f98069a00e4affb300d7461cd31a015442bd
more generous tracing limit -- rescaled in MB;

diff -r f4f5f98069a0 -r c7f366a861ed NEWS
--- a/NEWS	Mon Dec 10 15:46:50 2012 +0100
+++ b/NEWS	Mon Dec 10 16:06:57 2012 +0100
@@ -72,7 +72,7 @@
 * Smarter handling of tracing messages: output window informs about
 accumulated messages; prover transactions are limited to emit maximum
 amount of output, before being canceled (cf. system option
-"editor_tracing_limit").  This avoids swamping the front-end with
+"editor_tracing_limit_MB").  This avoids swamping the front-end with
 potentially infinite message streams.
 
 * More plugin options and preferences, based on Isabelle/Scala.  The
diff -r f4f5f98069a0 -r c7f366a861ed etc/options
--- a/etc/options	Mon Dec 10 15:46:50 2012 +0100
+++ b/etc/options	Mon Dec 10 16:06:57 2012 +0100
@@ -96,5 +96,5 @@
 option editor_reparse_limit : int = 10000
   -- "maximum amount of reparsed text outside perspective"
 
-option editor_tracing_limit : int = 1000000
+option editor_tracing_limit_MB : real = 2.5
   -- "maximum tracing volume for each command transaction"
diff -r f4f5f98069a0 -r c7f366a861ed src/Pure/System/isabelle_process.ML
--- a/src/Pure/System/isabelle_process.ML	Mon Dec 10 15:46:50 2012 +0100
+++ b/src/Pure/System/isabelle_process.ML	Mon Dec 10 16:06:57 2012 +0100
@@ -224,7 +224,8 @@
         then Multithreading.max_threads := 2 else ();
         Goal.parallel_proofs := (if Options.int options "parallel_proofs" > 0 then 4 else 0);
         Goal.parallel_proofs_threshold := Options.int options "parallel_proofs_threshold";
-        tracing_limit := Options.int options "editor_tracing_limit"
+        tracing_limit :=
+          Real.round (Options.real options "editor_tracing_limit_MB" * 1024.0 * 1024.0)
       end);
 
 end;
diff -r f4f5f98069a0 -r c7f366a861ed src/Tools/jEdit/src/isabelle_options.scala
--- a/src/Tools/jEdit/src/isabelle_options.scala	Mon Dec 10 15:46:50 2012 +0100
+++ b/src/Tools/jEdit/src/isabelle_options.scala	Mon Dec 10 16:06:57 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", "editor_update_delay")
+      "editor_tracing_limit_MB", "editor_update_delay")
 
   relevant_options.foreach(PIDE.options.value.check_name _)