diff -r df8ae0590be2 -r 82e9178e6a98 etc/options
--- 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"