diff -r f4f5f98069a0 -r c7f366a861ed etc/options
--- 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"