Feature request: pause info buffer redisplay

[felipeochoa]

I think the VS code extension has a pause button on the info buffer. I couldn't find this functionality, so added some quick and dirty advice to accomplish the same thing. Posting here in case helpful for others/someone wants to use this as inspiration for a PRhttps://leanprover.zulipchat.com/#narrow/stream/113489-new-members/topic/Pause.20emacs.20info

(defvar fov/lean4-pause-info nil "If non-nil, pause info buffer updates.")

(defun fov/lean4-info-buffer-redisplay (old-fun &rest args)
  "Suppress call to OLD-FUN if `fov/lean4-pause-info' is non-nil.  Otherwise call with ARGS."
  (unless fov/lean4-pause-info
    (apply old-fun args)))

(defun fov/lean4-toggle-info-pause ()
  "Toggle pausing of automatic info refresh."
  (interactive)
  (setq fov/lean4-pause-info (not fov/lean4-pause-info)))

(defvar lean4-mode-map)
(with-eval-after-load 'lean4-mode
  (advice-add 'lean4-info-buffer-redisplay :around #'fov/lean4-info-buffer-redisplay)
  (define-key lean4-mode-map (kbd "C-c C-p C-p") #'fov/lean4-toggle-info-pause))

https://leanprover.zulipchat.com/#narrow/stream/113489-new-members/topic/Pause.20emacs.20info