etc/options

   -- "delay for chart repainting"
 
 public option editor_execution_priority : int = -2
   -- "execution priority of main document structure (e.g. 0, -1, -2)"
 
+option editor_execution_range : string = "visible"
+  -- "range of continuous document processing: all, none, visible"
+
 
 section "Miscellaneous Tools"
 
 public option find_theorems_limit : int = 40
   -- "limit of displayed results"