diff options
| author | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2013-04-09 20:32:09 +0200 |
|---|---|---|
| committer | Jose Antonio Ortega Ruiz <jao@gnu.org> | 2013-04-09 20:32:09 +0200 |
| commit | c0c3723b1b5ee54e977a25a2f8a409a8071f1976 (patch) | |
| tree | 8fc9d89650def7b43fa0d5664ed6b450c60810f8 | |
| parent | 673c6c9fa481c3b50921f2d94afa3c5a73b1920e (diff) | |
| download | geiser-guile-c0c3723b1b5ee54e977a25a2f8a409a8071f1976.tar.gz geiser-guile-c0c3723b1b5ee54e977a25a2f8a409a8071f1976.tar.bz2 | |
New customizable geiser-repl-query-on-kill-p
In case you don't care about killing live REPLs...
| -rw-r--r-- | elisp/geiser-repl.el | 14 |
1 files changed, 11 insertions, 3 deletions
diff --git a/elisp/geiser-repl.el b/elisp/geiser-repl.el index a25d65f..0b4fe54 100644 --- a/elisp/geiser-repl.el +++ b/elisp/geiser-repl.el @@ -62,9 +62,9 @@ implementation name gets appended to it." :group 'geiser-repl) (geiser-custom--defcustom geiser-repl-history-no-dups-p t - "Whether to skip duplicates when recording history." - :type 'boolean - :group 'geiser-repl) + "Whether to skip duplicates when recording history." + :type 'boolean + :group 'geiser-repl) (geiser-custom--defcustom geiser-repl-save-debugging-history-p nil "Whether to skip debugging input in REPL history. @@ -110,6 +110,12 @@ expression, if any." :type 'boolean :group 'geiser-repl) +(geiser-custom--defcustom geiser-repl-query-on-kill-p t + "Whether to prompt for confirmation when killing a REPL buffer with +a life process." + :type 'boolean + :group 'geiser-repl) + (geiser-custom--defcustom geiser-repl-default-host "localhost" "Default host when connecting to remote REPLs." :type 'string @@ -328,6 +334,8 @@ module command as a string") 'geiser-repl--output-filter nil t) + (set-process-query-on-exit-flag (get-buffer-process (current-buffer)) + geiser-repl-query-on-kill-p) (message "%s up and running!" (geiser-repl--repl-name impl)))) (defun geiser-repl--start-scheme (impl address prompt) |