Change PROMPT-HISTORY-STRINGS and SET-PROMPT-HISTORY-STRINGS! so that

the history name may be #F, meaning use the default history.

diff --git a/v7/src/edwin/prompt.scm b/v7/src/edwin/prompt.scm
index dd2736580f186b7e04f4dae2d4be5805b06db002..eba23c5bc39847dd5f9aa9b23249278939f60288 100644 (file)
--- a/v7/src/edwin/prompt.scm
+++ b/v7/src/edwin/prompt.scm
@@ -1,6 +1,6 @@
 ;;; -*-Scheme-*-
 ;;;
-;;; $Id: prompt.scm,v 1.187 2000/06/18 20:35:33 cph Exp $
+;;; $Id: prompt.scm,v 1.188 2000/06/18 20:36:15 cph Exp $
 ;;;
 ;;; Copyright (c) 1986, 1989-2000 Massachusetts Institute of Technology
 ;;;
@@ -326,7 +326,7 @@
   (default-type 'VISIBLE-DEFAULT)
   (confirm-completion? #f)
   (case-insensitive-completion? #f)
-  (history 'MINIBUFFER-DEFAULT)
+  (history #f)
   (history-index -1))
 
 (define (parse-prompt-options option-structure options)