(ediff-profile): Use make-local-hook and add and remove hooks locally.

This commit is contained in:
Richard M. Stallman 1995-08-22 20:27:05 +00:00
parent faec11dbd4
commit c2bf3f2e59

View file

@ -3035,15 +3035,15 @@ avoid loading cl-*."
(interactive)
(or (ediff-buffer-live-p ediff-control-buffer)
(error "This command runs only out of Ediff Control Buffer"))
(make-local-variable 'pre-command-hook)
(make-local-variable 'post-command-hook)
(make-local-hook 'pre-command-hook)
(make-local-hook 'post-command-hook)
(if (memq 'ediff-save-time pre-command-hook)
(progn (remove-hook 'pre-command-hook 'ediff-save-time)
(remove-hook 'post-command-hook 'ediff-calc-command-time)
(progn (remove-hook 'pre-command-hook 'ediff-save-time t)
(remove-hook 'post-command-hook 'ediff-calc-command-time t)
(setq ediff-command-begin-time '(0 0 0))
(message "Ediff profiling disabled"))
(add-hook 'pre-command-hook 'ediff-save-time t)
(add-hook 'post-command-hook 'ediff-calc-command-time)
(add-hook 'pre-command-hook 'ediff-save-time t t)
(add-hook 'post-command-hook 'ediff-calc-command-time nil t)
(message "Ediff profiling enabled")))
(defun ediff-print-diff-vector (diff-vector-var)