etc/options
changeset 50119 5c370a036de7
parent 49524 68796a77c42b
child 50121 97d2b77313a0
     1.1 --- a/etc/options	Sun Nov 18 15:38:37 2012 +0100
     1.2 +++ b/etc/options	Sun Nov 18 16:04:13 2012 +0100
     1.3 @@ -97,3 +97,6 @@
     1.4  
     1.5  option editor_reparse_limit : int = 10000
     1.6    -- "maximum amount of reparsed text outside perspective"
     1.7 +
     1.8 +option editor_tracing_limit : int = 1000000
     1.9 +  -- "maximum tracing volume for each command transaction"