diff options
| author | David Aspinall | 2000-05-12 15:55:35 +0000 |
|---|---|---|
| committer | David Aspinall | 2000-05-12 15:55:35 +0000 |
| commit | a0a585f41b571faf00a3a94393539e478d2bc667 (patch) | |
| tree | 1f3fa90d799458d37c6801a073ddbb2fb25fe58d /generic/proof-menu.el | |
| parent | 833036e6f808a0ca7086795333633167c8d450a7 (diff) | |
Moved utility functions to proof-utils.
Diffstat (limited to 'generic/proof-menu.el')
| -rw-r--r-- | generic/proof-menu.el | 30 |
1 files changed, 0 insertions, 30 deletions
diff --git a/generic/proof-menu.el b/generic/proof-menu.el index 3552835f..4710ecaa 100644 --- a/generic/proof-menu.el +++ b/generic/proof-menu.el @@ -113,36 +113,6 @@ ;;; Contents of the generic menus ;;; - -(defun proof-deftoggle-fn (var &optional othername) - "Define a function <VAR>-toggle for toggling a boolean customize setting VAR. -The toggle function uses customize-set-variable to change the variable. -OTHERNAME gives an alternative name than the default <VAR>-toggle." - (eval - `(defun ,(if othername othername - (intern (concat (symbol-name var) "-toggle"))) (arg) - ,(concat "Toggle `" (symbol-name var) "'. With ARG, turn on iff ARG>0. -This function simply uses customize-set-variable to set the variable. -It was constructed with `proof-customize-toggle-fn'.") - (interactive "P") - (customize-set-variable - (quote ,var) - (if (null arg) (not ,var) - (> (prefix-numeric-value arg) 0)))))) - -;;;###autoload -(defmacro proof-deftoggle (var &optional othername) - "Define a function VAR-toggle for toggling a boolean customize setting VAR. -VAR, OTHERNAME are not evaluated. -The function is defined with `proof-customize-toggle-fn', which see." - `(proof-deftoggle-fn (quote ,var) (quote ,othername))) - - -;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; -;;; -;;; Contents of the generic menus -;;; - (defvar proof-help-menu '("Help" ["Proof General home page" |