From 693c53bb867ead922124fe8c5621d947037327eb Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 31 Jan 2011 10:35:55 +0000
Subject: Support mouse action on modeline indicator for scripting mode

---
 generic/proof-script.el | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'generic/proof-script.el')

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)
 
 
 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
-- 
cgit v1.2.3