diff options
Diffstat (limited to 'generic')
| -rw-r--r-- | generic/pg-pamacs.el | 4 | ||||
| -rw-r--r-- | generic/pg-vars.el | 2 | ||||
| -rw-r--r-- | generic/proof-menu.el | 11 |
3 files changed, 10 insertions, 7 deletions
diff --git a/generic/pg-pamacs.el b/generic/pg-pamacs.el index 798e1e78..c8bac3a5 100644 --- a/generic/pg-pamacs.el +++ b/generic/pg-pamacs.el @@ -183,7 +183,7 @@ Usage: (defpgdefault SYM VALUE)" (error "defpacustom: missing :type keyword or wrong :type value")) ;; Error in case a defpacustom is repeated. - (when (assoc name proof-assistant-settings) + (when (assq name proof-assistant-settings) (error "defpacustom: Proof assistant setting %s re-defined!" name)) @@ -204,7 +204,7 @@ Usage: (defpgdefault SYM VALUE)" (proof-assistant-settings-cmd (quote ,name))))))) (setq proof-assistant-settings (cons (list name setting (eval type) descr) - (assq-delete-all name proof-assistant-settings))))) + proof-assistant-settings)))) ;;;###autoload (defmacro defpacustom (name val &rest args) diff --git a/generic/pg-vars.el b/generic/pg-vars.el index f4140ab5..102212ee 100644 --- a/generic/pg-vars.el +++ b/generic/pg-vars.el @@ -202,7 +202,7 @@ This variable can be used for instance specific functions which want to examine `proof-shell-last-output'.") (defvar proof-assistant-settings nil - "A list of default values kept in Proof General for current proof assistant. + "Settings kept in Proof General for current proof assistant. A list of lists (SYMBOL SETTING TYPE DESCR) where SETTING is a string value to send to the proof assistant using the value of SYMBOL and and the function `proof-assistant-format'. The TYPE item determines diff --git a/generic/proof-menu.el b/generic/proof-menu.el index 5c0bfeda..cc4e850e 100644 --- a/generic/proof-menu.el +++ b/generic/proof-menu.el @@ -925,10 +925,13 @@ This will configure dynamic settings used in the current prover session and extend `proof-assistant-settings'. We first clear the dynamic settings from `proof-assistant-settings'." (when (and proof-use-pgip-askprefs proof-shell-issue-pgip-cmd) - (dolist (setting proof-assistant-settings) - (let ((name (car setting))) - (if (get name 'pgdynamic) - (undefpgcustom name)))) + (let (newsettings) + (dolist (setting proof-assistant-settings) + (let ((name (car setting))) + (if (get name 'pgdynamic) + (undefpgcustom name) + (push setting newsettings)))) + (setq proof-assistant-settings newsettings)) (pg-pgip-askprefs))) |