From 76cf3a4c2ad695c0ee4c07bc25db2289f1de6ba8 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 14 Apr 2004 12:37:02 +0000
Subject: Add Index menu.

---
 generic/proof-script.el | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'generic/proof-script.el')

diff --git a/generic/proof-script.el b/generic/proof-script.el
index 2ec6bc56..243c3813 100644
--- a/generic/proof-script.el
+++ b/generic/proof-script.el
@@ -2743,6 +2743,9 @@ finish setup which depends on specific proof assistant configuration."
   (proof-setup-imenu)
   (proof-setup-func-menu)
 
+  ;; Add the Index menu, if enabled
+  (proof-imenu-enable)
+
   ;; Offer to save script mode buffers which have no files,
   ;; in case Emacs is exited accidently.
   (or (buffer-file-name)
-- 
cgit v1.2.3