From 1598b03d93f945fbba2e444cc610d76ba5d65b70 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 18 Nov 2002 23:07:07 +0000
Subject: Add pg-custom-undeclare-variable.

---
 generic/proof-compat.el | 34 ++++++++++++++++++++++++++++++++++
 1 file changed, 34 insertions(+)

diff --git a/generic/proof-compat.el b/generic/proof-compat.el
index e0a74a99..7a5fb8f4 100644
--- a/generic/proof-compat.el
+++ b/generic/proof-compat.el
@@ -17,6 +17,40 @@
 
 (require 'proof-site)			; for architecture flags
 
+;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
+;;;
+;;; Emacs and XEmacs modifications and adjustments
+;;;
+
+;; Remove a custom setting.  Needed to support dynamic reconfiguration.
+;; (We'd prefer that repeated defcustom calls acted like repeated
+;;  "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."
+  (mapcar (lambda (prop) (remprop symbol prop))
+	  '(default 
+	     standard-value 
+	     force-value 
+	     variable-comment
+	     saved-variable-comment
+	     variable-documentation
+	     group-documentation
+	     custom-set
+	     custom-get
+	     custom-options
+	     custom-requests
+	     custom-group
+	     custom-prefix
+	     custom-tag
+	     custom-links
+	     custom-version
+	     saved-value
+	     theme-value
+	     theme-face))
+  (makunbound symbol))
+
+
 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
 ;;;
 ;;; XEmacs compatibility
-- 
cgit v1.2.3