From f6e93d2ebdde09a3929e071bfe6a62992676f89c Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Mon, 31 Jan 2011 12:12:22 +0000 Subject: Make proof-assistant-settings follow currently available dynamic settings, and keep possibly customized variables bound. Closes Trac #387. --- lib/proof-compat.el | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) (limited to 'lib/proof-compat.el') 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))) ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; -- cgit v1.2.3