etc/options

   -- "delay for machine-generated input that may outperform user edits"
 
 public option editor_output_delay : real = 0.1
   -- "delay for prover output (markup, common messages etc.)"
 
-public option editor_consolidate_delay : real = 3.0
+public option editor_consolidate_delay : real = 2.0
   -- "delay to consolidate status of command evaluation (execution forks)"
 
 public option editor_prune_delay : real = 15
   -- "delay to prune history (delete old versions)"
 

   -- "dynamic presentation while editing"
 
 
 section "Headless Session"
 
+option headless_consolidate_delay : real = 15
+  -- "delay to consolidate status of command evaluation (execution forks)"
+
+option headless_prune_delay : real = 60
+  -- "delay to prune history (delete old versions)"
+
 option headless_check_delay : real = 0.5
   -- "delay for theory status check during PIDE processing (seconds)"
 
 option headless_check_limit : int = 0
   -- "maximum number of theory status checks (0 = unlimited)"

   -- "watchdog timeout for PIDE processing of broken theories (seconds, 0 = disabled)"
 
 option headless_commit_cleanup_delay : real = 60
   -- "delay for cleanup of already imported theories (seconds, 0 = disabled)"
 
-option headless_load_limit : int = 0
+option headless_load_limit : int = 100
   -- "limit for loaded theories (0 = unlimited)"
 
 option dump_checkpoint : bool = false
   -- "mark individual theories to share common data in ML"