changeset 51134 | 5c370a036de7 |
parent 50539 | 68796a77c42b |
child 51136 | 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"