From 4ff423fe4b8f7624e113b4cb68e07a429ad9fb72 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 7 Oct 1999 15:08:09 +0000
Subject: Fix for older emacsen, maybe.

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

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

diff --git a/generic/proof-script.el b/generic/proof-script.el
index ae5cee1e..519b034e 100644
--- a/generic/proof-script.el
+++ b/generic/proof-script.el
@@ -1790,7 +1790,8 @@ No action if BUF is nil."
       proof-shell-start
       :active (not (proof-shell-live-buffer))]
      ["Toggle scripting"
-      proof-toggle-active-scripting]
+      proof-toggle-active-scripting
+      :active t]
 ;     ["Restart scripting"
 ;      proof-shell-restart
 ;      :active (proof-shell-live-buffer)]
-- 
cgit v1.2.3