diff options
Diffstat (limited to 'generic/proof-menu.el')
| -rw-r--r-- | generic/proof-menu.el | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/generic/proof-menu.el b/generic/proof-menu.el index 55af2444..820e1544 100644 --- a/generic/proof-menu.el +++ b/generic/proof-menu.el @@ -193,7 +193,7 @@ without adjusting window layout." (vector (concat "Set " proof-assistant " Command") (proof-ass-sym set-command) - ':active '(fboundp (proof-ass-sym set-command)))) + ':visible '(fboundp (proof-ass-sym set-command)))) '("----") (list (cons "Help" |