Allow favourite saving when user wants.

1 files changed, 23 insertions, 1 deletions

diff --git a/generic/proof-utils.el b/generic/proof-utils.el
index a476c018..ce31e4ba 100644
--- a/generic/proof-utils.el
+++ b/generic/proof-utils.el
@@ -563,7 +563,6 @@ No action if BUF is nil or killed."
 ;;; Utils for making functions to adjust user settings
 ;;;
 
-
 (defun proof-deftoggle-fn (var &optional othername)
   "Define a function <VAR>-toggle for toggling a boolean customize setting VAR.
 Args as for the macro `proof-deftoggle', except will be evaluated."
@@ -627,6 +626,29 @@ The name of the defined function is returned."
 
 
 
+;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
+;;;
+;;; Interface to custom lib
+;;;
+
+;; EMACSFIXME: A function that custom ought to 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.
+      (when value
+	(put symbol 'saved-value value)
+	(if (fboundp 'custom-push-theme) ;; XEmacs customize
+	    (custom-push-theme 'theme-value symbol 'user 'set value))
+	(put symbol 'customized-value nil))))
+  (custom-save-all))
+
+
+
+
 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
 ;;
 ;; Finding executables