diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2009-09-28 08:40:20 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2009-09-28 08:40:20 +0000 |
| commit | 07c7e94620921a826ac07363bf49f35cff0e6bc9 (patch) | |
| tree | 229af8cb88ec264904e891d843a7ee9d35f7264f | |
| parent | 79d042b3d8311f9b6caca809fe0105f49f9536c3 (diff) | |
Menu entry <PA>-set-command invisible when function undefined (not inactive)
| -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" |