diff options
| -rw-r--r-- | etc/junk.el | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/etc/junk.el b/etc/junk.el index dadf1bb6..1ca27608 100644 --- a/etc/junk.el +++ b/etc/junk.el @@ -138,3 +138,20 @@ We only strip specials from the annotations." ; (if proof-response-buffer ; (with-current-buffer proof-response-buffer ; (proof-bury-buffer-after proof-goals-buffer)))) + + + +;; This was added in proof-config.el. +;; +;; Better strategy to be less zippy about adding hooks is this: +;; +;; 1. Only add a hook if it is needed in *generic* code +;; 2. Only add a hook if it seems likely to be needed for different +;; provers, with different effects. +;; +;; This hook doesn't meet criteria! + +(defcustom proof-xsym-toggle-hook '(proof-x-symbol-toggle-clean-buffers) + "Hooks run when X-Symbol support is turned on or off." + :type 'string + :group 'proof-x-symbol) |