diff options
| author | David Aspinall | 1998-12-11 14:55:09 +0000 |
|---|---|---|
| committer | David Aspinall | 1998-12-11 14:55:09 +0000 |
| commit | 5ada8675071a0b4eaa3756685d279ba451811536 (patch) | |
| tree | cf387ccd6be1082a4bfce73e2c8d6cfcddb48cf2 | |
| parent | 712e71d50f6160c3745a9bcee11e63ccc448b831 (diff) | |
Added submit bug report to proof-shared-menu
| -rw-r--r-- | generic/proof-script.el | 15 |
1 files changed, 13 insertions, 2 deletions
diff --git a/generic/proof-script.el b/generic/proof-script.el index 8dab3f4d..a9244220 100644 --- a/generic/proof-script.el +++ b/generic/proof-script.el @@ -429,8 +429,6 @@ buffers." ;; FIXME: ponder alternative of trying to complete rest ;; of current scripting buffer? Allowing to switch when ;; a goal has been completed? - ;; FIXME: this test isn't necessary if the current - ;; buffer was already in proof-script-buffer-list. (or (proof-locked-region-empty-p) (proof-locked-region-full-p) (error @@ -1461,6 +1459,7 @@ No action if BUF is nil." :active (buffer-live-p proof-shell-buffer)]) "Proof General buffer menu.") +;; FIXME da: could move this elsewhere. (defvar proof-shared-menu (append (list @@ -1480,6 +1479,18 @@ No action if BUF is nil." proof-shell-exit :active (proof-shell-live-buffer)]) (list proof-help-menu) + ;; Would be nicer to put this at the bottom, but it's + ;; a bit tricky then to get it in all menus. + ;; UGLY COMPATIBILITY FIXME: remove this soon + (list (if (string-match "XEmacs 19.1[2-9]" emacs-version) + "--:doubleLine" "----")) + (list + ["Submit bug report" + proof-submit-bug-report + :active t]) + ;; UGLY COMPATIBILITY FIXME: remove this soon + (list (if (string-match "XEmacs 19.1[2-9]" emacs-version) + "--:doubleLine" "----")) (list proof-buffer-menu)) "Proof General menu for various modes.") |