changeset 51044 | 890f502f0e89 |
parent 50698 | 49621c755075 |
child 51230 | 19192615911e |
--- 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