diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2011-01-31 12:12:22 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2011-01-31 12:12:22 +0000 |
| commit | f6e93d2ebdde09a3929e071bfe6a62992676f89c (patch) | |
| tree | 285ad09e4657260e375cddb576e55e7cde31cf9a /generic/proof-menu.el | |
| parent | 693c53bb867ead922124fe8c5621d947037327eb (diff) | |
Make proof-assistant-settings follow currently available dynamic settings, and keep possibly customized variables bound. Closes Trac #387.
Diffstat (limited to 'generic/proof-menu.el')
| -rw-r--r-- | generic/proof-menu.el | 11 |
1 files changed, 7 insertions, 4 deletions
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))) |