diff -r 89a14e495526 -r 5c370a036de7 etc/options
--- 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"