diff options
| author | Erik Martin-Dorel | 2021-02-26 09:21:19 +0100 |
|---|---|---|
| committer | GitHub | 2021-02-26 09:21:19 +0100 |
| commit | cb7a312709c6afe38adf7f8053ca70acb41cb98c (patch) | |
| tree | 231b69931191e1ee29c186c35ac4c45405146953 /generic/proof-menu.el | |
| parent | 65da2c3a15df0a5b6f1fb81aa7a0dce8bcdaab1d (diff) | |
| parent | c45ce5af8b0cdbca6931ab9b7c0a78d59e12fcde (diff) | |
Merge pull request #554 from ProofGeneral/proof-upgrade-menu
feat: Add proof-upgrade-menu triggering proof-upgrade-elpa-packages
Diffstat (limited to 'generic/proof-menu.el')
| -rw-r--r-- | generic/proof-menu.el | 14 |
1 files changed, 7 insertions, 7 deletions
diff --git a/generic/proof-menu.el b/generic/proof-menu.el index c8c2239b..3846229e 100644 --- a/generic/proof-menu.el +++ b/generic/proof-menu.el @@ -5,7 +5,7 @@ ;; Portions © Copyright 1994-2012 David Aspinall and University of Edinburgh ;; Portions © Copyright 2003-2018 Free Software Foundation, Inc. ;; Portions © Copyright 2001-2017 Pierre Courtieu -;; Portions © Copyright 2010, 2016 Erik Martin-Dorel +;; Portions © Copyright 2010, 2016, 2021 Erik Martin-Dorel ;; Portions © Copyright 2011-2013, 2016-2017 Hendrik Tews ;; Portions © Copyright 2015-2017 Clément Pit-Claudel @@ -86,7 +86,6 @@ without adjusting window layout." (pg-response-buffers-hint (buffer-name nextbuf)))))) - ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; ;;; ;;; Key bindings @@ -687,6 +686,10 @@ without adjusting window layout." (list (customize-menu-create 'proof-general-internals "Internals")))) "Advanced sub-menu of script functions and customize.") +(defvar proof-upgrade-menu + '(["Upgrade ELPA packages..." proof-upgrade-elpa-packages + :help "Update all Emacs packages (including Proof General!)"]) + "The Proof General generic menu for upgrading packages.") (defvar proof-menu '(["Next Error" proof-next-error @@ -706,7 +709,8 @@ without adjusting window layout." proof-config-menu (list (customize-menu-create 'proof-user-options "Customize Options")) (list proof-advanced-menu) - (list proof-help-menu)))) + (list proof-help-menu) + proof-upgrade-menu))) ;;;###autoload (defun proof-aux-menu () @@ -1053,10 +1057,6 @@ value) and the second for false." (funcall proof-assistant-setting-format setting) setting))) - - - - (provide 'proof-menu) ;;; proof-menu.el ends here |