etc/options
changeset 51044 890f502f0e89
parent 50698 49621c755075
child 51230 19192615911e
     1.1 --- a/etc/options	Mon Jan 21 16:50:43 2013 +0100
     1.2 +++ b/etc/options	Tue Jan 22 11:28:54 2013 +0100
     1.3 @@ -94,7 +94,7 @@
     1.4  option editor_reparse_limit : int = 10000
     1.5    -- "maximum amount of reparsed text outside perspective"
     1.6  
     1.7 -option editor_tracing_messages : int = 100
     1.8 +option editor_tracing_messages : int = 1000
     1.9    -- "initial number of tracing messages for each command transaction"
    1.10  
    1.11  option editor_chart_delay : real = 3.0