diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2009-08-31 22:47:19 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2009-08-31 22:47:19 +0000 |
| commit | ef3def4933bdf3da95b10b6e154ca618bff4635f (patch) | |
| tree | ceb5a9cb52aaf5bbeacbbad7038aa713cac03777 | |
| parent | fda89c27a407b71118adc3950d618b6518b625dc (diff) | |
Unnecessary test
| -rw-r--r-- | generic/proof-utils.el | 10 |
1 files changed, 4 insertions, 6 deletions
diff --git a/generic/proof-utils.el b/generic/proof-utils.el index 8a78ef9e..393654da 100644 --- a/generic/proof-utils.el +++ b/generic/proof-utils.el @@ -761,18 +761,16 @@ KEY is added onto proof-assistant map." ;;; Interface to custom lib ;;; -;; EMACSFIXME: A function that custom ought to provide. +;; EMACSFIXME: A function that custom could provide. (defun pg-custom-save-vars (&rest variables) "Save custom vars VARIABLES." (dolist (symbol variables) (let ((value (get symbol 'customized-value))) - ;; This code from customize-save-customized adjusts - ;; properties so that custom-save-all will save - ;; the value. + ;; See customize-save-customized; adjust properties so + ;; that custom-save-all will save the value. (when value (put symbol 'saved-value value) - (if (fboundp 'custom-push-theme) ;; XEmacs customize - (custom-push-theme 'theme-value symbol 'user 'set value)) + (custom-push-theme 'theme-value symbol 'user 'set value) (put symbol 'customized-value nil)))) (custom-save-all)) |