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