etc/options

--- a/etc/options	Wed Jul 19 13:17:38 2023 +0200
+++ b/etc/options	Wed Jul 19 13:29:18 2023 +0200
@@ -201,9 +201,12 @@
 option build_database_slice : real = 300
   -- "slice size in MiB for ML heap stored within database"
 
-option build_delay : real = 0.5
+option build_delay : real = 0.2
   -- "delay build process main loop"
 
+option build_database_delay : real = 1.0
+  -- "delay build process main loop (via central database)"
+
 
 section "Editor Session"