scratch/igc 802f72f615b: igc-step-interval

[Gerd Moellmann]

branch: scratch/igc
commit 802f72f615b31b46b0010d8a320c90bc32e552f5
Author: Gerd Möllmann <gerd@gnu.org>
Commit: Gerd Möllmann <gerd@gnu.org>

    igc-step-interval
---
 src/igc.c | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/src/igc.c b/src/igc.c
index 7d4baed566f..aa37209f04d 100644
--- a/src/igc.c
+++ b/src/igc.c
@@ -2751,7 +2751,7 @@ void
 igc_on_idle (void)
 {
   process_messages (global_igc);
-  mps_arena_step (global_igc->arena, 0.1, 0);
+  mps_arena_step (global_igc->arena, XFLOAT_DATA (Vigc_step_interval), 0);
 }
 
 static mps_ap_t
@@ -3384,6 +3384,9 @@ syms_of_igc (void)
   DEFSYM (Qweak_ref_p, "weak-ref-p");
   DEFSYM (Qweak_ref, "weak-ref");
   Fprovide (intern_c_string ("mps"), Qnil);
+
+  DEFVAR_LISP ("igc-step-interval", Vigc_step_interval, doc: /* */);
+  Vigc_step_interval = make_float (0.05);
 }
 
 struct register_pdump_roots_ctx