| changeset 50697 | 82e9178e6a98 |
| parent 50505 | 33c92722cc3d |
| child 50698 | 49621c755075 |
--- a/etc/options Thu Jan 03 09:56:39 2013 +0100 +++ b/etc/options Thu Jan 03 13:54:45 2013 +0100 @@ -98,3 +98,6 @@ option editor_tracing_messages : int = 100 -- "initial number of tracing messages for each command transaction" + +option editor_chart_delay : real = 3.0 + -- "delay for chart repainting"