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 /lib/proof-compat.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 'lib/proof-compat.el')
-rw-r--r-- | lib/proof-compat.el | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/lib/proof-compat.el b/lib/proof-compat.el index 3918b7ce..45545f29 100644 --- a/lib/proof-compat.el +++ b/lib/proof-compat.el @@ -52,7 +52,9 @@ ;; "defvar treated as defconst" in XEmacs) (defun pg-custom-undeclare-variable (symbol) "Remove a custom setting SYMBOL. -Done by `makunbound' and removing all properties mentioned by custom library." +Done by removing all properties mentioned by custom library. +The symbol itself is left defined, in case it has been changed +in the current Emacs session." (mapc (lambda (prop) (remprop symbol prop)) '(default standard-value @@ -72,8 +74,7 @@ Done by `makunbound' and removing all properties mentioned by custom library." custom-version saved-value theme-value - theme-face)) - (makunbound symbol)) + theme-face))) ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; |