aboutsummaryrefslogtreecommitdiffhomepage
diff options
context:
space:
mode:
authorGravatar David Aspinall <da@inf.ed.ac.uk>1999-11-10 18:09:18 +0000
committerGravatar David Aspinall <da@inf.ed.ac.uk>1999-11-10 18:09:18 +0000
commit063d4ef186a808b2fb0bd7c96d8fa6de373b6317 (patch)
tree1947ecc86c21c0a70413c3c92cd0342b6ab78d90
parent18f2f114f246af065c4bb87595564079da2c314b (diff)
Junk code
-rw-r--r--etc/junk.el17
1 files changed, 17 insertions, 0 deletions
diff --git a/etc/junk.el b/etc/junk.el
new file mode 100644
index 00000000..470435d5
--- /dev/null
+++ b/etc/junk.el
@@ -0,0 +1,17 @@
+;;; junk.el
+;;;
+;;; $Id$
+;;;
+;;; Bits and pieces of code
+;;; removed from main PG (or never added).
+;;; Left here in case they're useful later.
+;;;
+
+(defun proof-set-toggle (sym value)
+ "Try to set a boolean variable <blah>-enable using function <blah>-toggle."
+ (save-match-data
+ (let* ((nm (symbol-name sym))
+ (i (string-match "-enable" nm))
+ (tgfn (if i (intern (concat (substring nm 0 i) "-toggle")))))
+ (if (and tgfn (fboundp tgfn))
+ (funcall tgfn (if value 1 0))))))