diff options
Diffstat (limited to 'lib/bufhist.el')
| -rw-r--r-- | lib/bufhist.el | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/lib/bufhist.el b/lib/bufhist.el index 65d33cc5..7e96682c 100644 --- a/lib/bufhist.el +++ b/lib/bufhist.el @@ -3,7 +3,7 @@ ;; This file is part of Proof General. ;; Portions © Copyright 1994-2012 David Aspinall and University of Edinburgh -;; Portions © Copyright 2003, 2012, 2014 Free Software Foundation, Inc. +;; Portions © Copyright 2003-2018 Free Software Foundation, Inc. ;; Portions © Copyright 2001-2017 Pierre Courtieu ;; Portions © Copyright 2010, 2016 Erik Martin-Dorel ;; Portions © Copyright 2011-2013, 2016-2017 Hendrik Tews @@ -179,8 +179,7 @@ This is as a pair (POINT . CONTENTS)." (if (and bufhist-mode (memq 'bufhist-before-change-function before-change-functions)) - (let ((before-change-functions nil) - (after-change-functions nil)) + (let ((inhibit-modification-hooks t)) (bufhist-before-change-function))) (erase-buffer) (bufhist-insert-buttons)) |