mirror of
git://git.sv.gnu.org/emacs.git
synced 2026-01-09 05:01:02 -08:00
(gud-mode): Add gud-kill-buffer-hook to kill-buffer-hook here and make it local.
(gud-kill-buffer-hook): Use kill-process for a sure kill.
This commit is contained in:
parent
da1a6bb899
commit
68b872d2d3
1 changed files with 6 additions and 5 deletions
|
|
@ -2339,7 +2339,8 @@ comint mode, which see."
|
|||
;; Don't put repeated commands in command history many times.
|
||||
(set (make-local-variable 'comint-input-ignoredups) t)
|
||||
(make-local-variable 'paragraph-start)
|
||||
(set (make-local-variable 'gud-delete-prompt-marker) (make-marker)))
|
||||
(set (make-local-variable 'gud-delete-prompt-marker) (make-marker))
|
||||
(add-hook 'kill-buffer-hook 'gud-kill-buffer-hook nil t))
|
||||
|
||||
;; Cause our buffers to be displayed, by default,
|
||||
;; in the selected window.
|
||||
|
|
@ -2546,10 +2547,10 @@ It is saved for when this flag is not set.")
|
|||
(set-buffer obuf))))))
|
||||
|
||||
(defun gud-kill-buffer-hook ()
|
||||
(if gud-minor-mode
|
||||
(setq gud-minor-mode-type gud-minor-mode)))
|
||||
|
||||
(add-hook 'kill-buffer-hook 'gud-kill-buffer-hook)
|
||||
(setq gud-minor-mode-type gud-minor-mode)
|
||||
(condition-case nil
|
||||
(kill-process (get-buffer-process gud-comint-buffer))
|
||||
(error nil)))
|
||||
|
||||
(defun gud-reset ()
|
||||
(dolist (buffer (buffer-list))
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue