diff options
Diffstat (limited to 'generic/proof-script.el')
| -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) |