diff options
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))) |