diff options
author | 2011-01-31 10:35:55 +0000 | |
---|---|---|
committer | 2011-01-31 10:35:55 +0000 | |
commit | 693c53bb867ead922124fe8c5621d947037327eb (patch) | |
tree | 06be129a9ef699e2f8f4f22ad47e8ad48e3e4719 /generic/proof-script.el | |
parent | 17c414438339c4edc9fabc2a1f751ddbb1a685c6 (diff) |
Support mouse action on modeline indicator for scripting mode
Diffstat (limited to 'generic/proof-script.el')
-rw-r--r-- | generic/proof-script.el | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/generic/proof-script.el b/generic/proof-script.el index a6af5a83..69e3c31e 100644 --- a/generic/proof-script.el +++ b/generic/proof-script.el @@ -56,6 +56,8 @@ kill buffer hook. This variable is used when buffer-file-name is nil.") (deflocal pg-script-portions nil "Alist of hash tables for symbols naming processed script portions.") +(defalias 'proof-active-buffer-fake-minor-mode + 'proof-toggle-active-scripting) ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; |