more generous tracing limit -- rescaled in MB;
authorwenzelm
Mon Dec 10 16:06:57 2012 +0100 (2012-12-10 ago)
changeset 50455c7f366a861ed
parent 50454 f4f5f98069a0
child 50456 e732da007562
more generous tracing limit -- rescaled in MB;
NEWS
etc/options
src/Pure/System/isabelle_process.ML
src/Tools/jEdit/src/isabelle_options.scala
     1.1 --- a/NEWS	Mon Dec 10 15:46:50 2012 +0100
     1.2 +++ b/NEWS	Mon Dec 10 16:06:57 2012 +0100
     1.3 @@ -72,7 +72,7 @@
     1.4  * Smarter handling of tracing messages: output window informs about
     1.5  accumulated messages; prover transactions are limited to emit maximum
     1.6  amount of output, before being canceled (cf. system option
     1.7 -"editor_tracing_limit").  This avoids swamping the front-end with
     1.8 +"editor_tracing_limit_MB").  This avoids swamping the front-end with
     1.9  potentially infinite message streams.
    1.10  
    1.11  * More plugin options and preferences, based on Isabelle/Scala.  The
     2.1 --- a/etc/options	Mon Dec 10 15:46:50 2012 +0100
     2.2 +++ b/etc/options	Mon Dec 10 16:06:57 2012 +0100
     2.3 @@ -96,5 +96,5 @@
     2.4  option editor_reparse_limit : int = 10000
     2.5    -- "maximum amount of reparsed text outside perspective"
     2.6  
     2.7 -option editor_tracing_limit : int = 1000000
     2.8 +option editor_tracing_limit_MB : real = 2.5
     2.9    -- "maximum tracing volume for each command transaction"
     3.1 --- a/src/Pure/System/isabelle_process.ML	Mon Dec 10 15:46:50 2012 +0100
     3.2 +++ b/src/Pure/System/isabelle_process.ML	Mon Dec 10 16:06:57 2012 +0100
     3.3 @@ -224,7 +224,8 @@
     3.4          then Multithreading.max_threads := 2 else ();
     3.5          Goal.parallel_proofs := (if Options.int options "parallel_proofs" > 0 then 4 else 0);
     3.6          Goal.parallel_proofs_threshold := Options.int options "parallel_proofs_threshold";
     3.7 -        tracing_limit := Options.int options "editor_tracing_limit"
     3.8 +        tracing_limit :=
     3.9 +          Real.round (Options.real options "editor_tracing_limit_MB" * 1024.0 * 1024.0)
    3.10        end);
    3.11  
    3.12  end;
     4.1 --- a/src/Tools/jEdit/src/isabelle_options.scala	Mon Dec 10 15:46:50 2012 +0100
     4.2 +++ b/src/Tools/jEdit/src/isabelle_options.scala	Mon Dec 10 16:06:57 2012 +0100
     4.3 @@ -45,7 +45,7 @@
     4.4        "jedit_tooltip_font_scale", "jedit_symbols_search_limit", "jedit_tooltip_margin",
     4.5        "threads", "threads_trace", "parallel_proofs", "parallel_proofs_threshold", "ML_statistics",
     4.6        "editor_load_delay", "editor_input_delay", "editor_output_delay", "editor_reparse_limit",
     4.7 -      "editor_tracing_limit", "editor_update_delay")
     4.8 +      "editor_tracing_limit_MB", "editor_update_delay")
     4.9  
    4.10    relevant_options.foreach(PIDE.options.value.check_name _)
    4.11