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 | b9fe903ab59f23999817ccdb6cea58d2eb94fa7e (patch) | |
| tree | 0f404766bc2381359d9b6bc1f79709690c84df2b | |
| parent | 47a997c4bf9acc7c8bc4bb0260bc8b789f5f596d (diff) | |
| download | geiser-b9fe903ab59f23999817ccdb6cea58d2eb94fa7e.tar.gz geiser-b9fe903ab59f23999817ccdb6cea58d2eb94fa7e.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) |