diff options
| author | David Aspinall | 2004-04-14 12:37:02 +0000 |
|---|---|---|
| committer | David Aspinall | 2004-04-14 12:37:02 +0000 |
| commit | 76cf3a4c2ad695c0ee4c07bc25db2289f1de6ba8 (patch) | |
| tree | c90d3ff588fa46afa4042659223b2dafab8ef77b /generic | |
| parent | 0d857fea2f18d8bed4a4c87c960b59a382096211 (diff) | |
Add Index menu.
Diffstat (limited to 'generic')
| -rw-r--r-- | generic/proof-script.el | 3 |
1 files changed, 3 insertions, 0 deletions
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) |