From 07c7e94620921a826ac07363bf49f35cff0e6bc9 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Mon, 28 Sep 2009 08:40:20 +0000 Subject: Menu entry -set-command invisible when function undefined (not inactive) --- generic/proof-menu.el | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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" -- cgit v1.2.3