etc/options
changeset 50697 82e9178e6a98
parent 50505 33c92722cc3d
child 50698 49621c755075
equal deleted inserted replaced
50694:df8ae0590be2 50697:82e9178e6a98
    96 option editor_reparse_limit : int = 10000
    96 option editor_reparse_limit : int = 10000
    97   -- "maximum amount of reparsed text outside perspective"
    97   -- "maximum amount of reparsed text outside perspective"
    98 
    98 
    99 option editor_tracing_messages : int = 100
    99 option editor_tracing_messages : int = 100
   100   -- "initial number of tracing messages for each command transaction"
   100   -- "initial number of tracing messages for each command transaction"
       
   101 
       
   102 option editor_chart_delay : real = 3.0
       
   103   -- "delay for chart repainting"