etc/options

--- a/etc/options	Mon Jan 21 16:50:43 2013 +0100
+++ b/etc/options	Tue Jan 22 11:28:54 2013 +0100
@@ -94,7 +94,7 @@
 option editor_reparse_limit : int = 10000
   -- "maximum amount of reparsed text outside perspective"
 
-option editor_tracing_messages : int = 100
+option editor_tracing_messages : int = 1000
   -- "initial number of tracing messages for each command transaction"
 
 option editor_chart_delay : real = 3.0