From c45ce5af8b0cdbca6931ab9b7c0a78d59e12fcde Mon Sep 17 00:00:00 2001
From: Erik Martin-Dorel
Date: Thu, 25 Feb 2021 23:49:35 +0100
Subject: refactor: Simplify proof-upgrade-elpa-packages

* Lastly, package-menu-async keeps its initial value even if we C-g.
---
 generic/proof-utils.el | 7 ++-----
 1 file changed, 2 insertions(+), 5 deletions(-)

(limited to 'generic')

diff --git a/generic/proof-utils.el b/generic/proof-utils.el
index 07bbaf04..673b269c 100644
--- a/generic/proof-utils.el
+++ b/generic/proof-utils.el
@@ -112,17 +112,14 @@ Return nil if not a script buffer or if no active scripting buffer."
   (interactive)
   (unless (proof-try-require 'package)
     (error "The package feature is not available!"))
-  (let ((old-async package-menu-async))
-    (setq package-menu-async nil)
+  (let ((package-menu-async nil))
     (package-list-packages)
     (package-menu-mark-upgrades)
     (let ((use-dialog-box nil))
       ;; make `y-or-n-p' show up within the minibuffer
       ;; even if `proof-upgrade-elpa-packages' is called interactively
       ;; to avoid any dialog-box overflow if many packages are updated
-      (package-menu-execute))
-    (setq package-menu-async old-async)))
-
+      (package-menu-execute))))
 
 ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;
 ;;
-- 
cgit v1.2.3