diff options
author | 1999-10-07 15:08:09 +0000 | |
---|---|---|
committer | 1999-10-07 15:08:09 +0000 | |
commit | 4ff423fe4b8f7624e113b4cb68e07a429ad9fb72 (patch) | |
tree | 52934301b7a679093332809b8b46e88ee26c5992 /generic | |
parent | 1be0c501996b2250c43942a8c3cc7997d4e561d8 (diff) |
Fix for older emacsen, maybe.
Diffstat (limited to 'generic')
-rw-r--r-- | generic/proof-script.el | 3 |
1 files changed, 2 insertions, 1 deletions
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)] |