diff options
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)] |