Re: MPS: face-cache

[Gerd Möllmann]

Eli Zaretskii <eliz@gnu.org> writes:

> Some of both, actually.  We re-enter the normal input processing, see
> tty_menu_activate, but we inhibit redisplay (because the display
> engine has no idea someone wrote int its matrices behind its back) and
> manage screen updates ourselves.  We also inhibit GC (in
> tty_menu_show).

Maybe the cheapest solution would be to use

specpdl_ref
igc_park_arena (void)
{
  specpdl_ref count = SPECPDL_INDEX ();
  record_unwind_protect_void (release_arena);
  mps_arena_park (global_igc->arena);
  return count;
}

This "parking" is like inhibiting GC. I've used it while pdumping so
that pdumper can write its dump without objs moving.