Re: interacting during (sit-for 0). Was: [PATCH] 5x speedup of flyspell-buffer

[Ilya Zakharevich <nospam-abuse@ilyaz.org>]

On Fri, Apr 14, 2023 at 06:51:31PM -0700, Ilya Zakharevich wrote:
> Suppose that a variable `recursive-edit-exit-on-idle' is supported by
> the even loop.  Would then the following code implement
>   (sit-for-0-interactively 'READ-ONLY)
> correctly?
> 
> 	(if (or unread-command-events unread-input-method-events unread-post-input-method-events)
> ;;;	  (with-current-buffer flyspell-large-region-buffer
> 	    (let ((buffer-read-only t) (inhibit-read-only nil)
> 		  (recursive-edit-exit-on-idle t))
> 	      (condition-case nil
> 		  (recursive-edit)
> 		(error nil))));;;)

Thinking on this more: 'quit should be propagated (since the user
should not know about an extra level of recursion).

Moreover, the implementation of `recursive-edit-exit-on-idle' should
disallow entering EXTRA LEVELS of recursive edit when this variable is set.


> Thanks,
> Ilya