diff options
| author | Richard M. Stallman <rms@gnu.org> | 1999-02-08 23:50:42 +0000 |
|---|---|---|
| committer | Richard M. Stallman <rms@gnu.org> | 1999-02-08 23:50:42 +0000 |
| commit | 474d71ae8bced887080c897e9690f621e4840cca (patch) | |
| tree | 8c47e3ab7f802d6df14077f01ba60b87490cbf31 | |
| parent | ac01a1c055083af606aefa0604d6986705e2d188 (diff) | |
| download | emacs-474d71ae8bced887080c897e9690f621e4840cca.tar.gz | |
(compilation-setup): Set value of
compilation-directory-stack as in compilation-forget-errors.
(compile-reinitialize-errors): Bind buffer-undo-list and deactivate-mark.
(compilation-forget-errors): Likewise.
| -rw-r--r-- | lisp/progmodes/compile.el | 9 |
1 files changed, 7 insertions, 2 deletions
diff --git a/lisp/progmodes/compile.el b/lisp/progmodes/compile.el index 138660d3502..93e22bd3e58 100644 --- a/lisp/progmodes/compile.el +++ b/lisp/progmodes/compile.el @@ -937,7 +937,8 @@ Runs `compilation-mode-hook' with `run-hooks' (which see)." (set (make-local-variable 'compilation-error-list) nil) (set (make-local-variable 'compilation-old-error-list) nil) (set (make-local-variable 'compilation-parsing-end) 1) - (set (make-local-variable 'compilation-directory-stack) nil) + (set (make-local-variable 'compilation-directory-stack) + (list default-directory)) (setq compilation-last-buffer (current-buffer))) (defvar compilation-shell-minor-mode nil @@ -1260,6 +1261,8 @@ Does NOT find the source line like \\[next-error]." ;; Mouse-Highlight (the first line of) each error message when the ;; mouse pointer moves over it: (let ((inhibit-read-only t) + (buffer-undo-list t) + deactivate-mark (error-list compilation-error-list)) (while error-list (save-excursion @@ -1666,7 +1669,9 @@ Selects a window with point at SOURCE, with another window displaying ERROR." compilation-directory-stack (list default-directory) compilation-parsing-end 1) ;; Remove the highlighting added by compile-reinitialize-errors: - (let ((inhibit-read-only t)) + (let ((inhibit-read-only t) + (buffer-undo-list t) + deactivate-mark) (remove-text-properties (point-min) (point-max) '(mouse-face highlight))) ) |
