| changeset 50455 | c7f366a861ed |
| parent 50255 | d0ec1f0d1d7d |
| child 50505 | 33c92722cc3d |
--- 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"