diff options
| -rw-r--r-- | generic/pg-goals.el | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/generic/pg-goals.el b/generic/pg-goals.el index 2e98fd73..907f4fe5 100644 --- a/generic/pg-goals.el +++ b/generic/pg-goals.el @@ -32,7 +32,9 @@ May enable proof-by-pointing or similar features. (easy-menu-add proof-goals-mode-menu proof-goals-mode-map) (easy-menu-add proof-assistant-menu proof-goals-mode-map) (proof-toolbar-setup) - (erase-buffer))) + (erase-buffer) + (buffer-disable-undo) + (set-buffer-modified-p nil))) ;; ;; Keys for goals buffer |