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