diff options
author | 1999-11-22 17:37:15 +0000 | |
---|---|---|
committer | 1999-11-22 17:37:15 +0000 | |
commit | 5cc57e417ff9887f223f696eb3b069f9bedb8be0 (patch) | |
tree | cb1bc00e7090b4242257094897daa7ee1dfca660 | |
parent | d60b01b3a2b5ce894fffe69ff892bab71ad23c2f (diff) |
Extend <var>-mode-hook for extra modes to call proof-x-symbol-mode.
-rw-r--r-- | generic/proof-x-symbol.el | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/generic/proof-x-symbol.el b/generic/proof-x-symbol.el index d7ad74c2..b084425c 100644 --- a/generic/proof-x-symbol.el +++ b/generic/proof-x-symbol.el @@ -112,7 +112,7 @@ The package is available at http://www.fmi.uni-passau.de/~wedler/x-symbol")) ;; functions invoke proof-x-symbol-mode. That way we can ;; turn on/off cleanly in proof-x-symbol-mode-all-buffers. ;; (if xs-xtra-modes (push am-entry x-symbol-auto-mode-alist)) - ;; Okay, let's be less rash and put it on a hook list + ;; Okay, let's be less rash and put it on a hook list. (dolist (mode proof-xsym-extra-modes) (add-hook (intern (concat (symbol-name mode) "-hook")) |