diff options
Diffstat (limited to 'generic/proof-menu.el')
-rw-r--r-- | generic/proof-menu.el | 33 |
1 files changed, 18 insertions, 15 deletions
diff --git a/generic/proof-menu.el b/generic/proof-menu.el index 027d0c7d..e43efcc0 100644 --- a/generic/proof-menu.el +++ b/generic/proof-menu.el @@ -17,7 +17,7 @@ ;; ;;; Code: -(require 'cl) ; mapcan +(require 'cl-lib) ; cl-mapcan, ... (defvar proof-assistant-menu) ; defined by macro in proof-menu-define-specific (defvar proof-mode-map) @@ -49,24 +49,26 @@ without adjusting window layout." (cond ((and (called-interactively-p 'any) (eq last-command 'proof-display-some-buffers)) - (incf proof-display-some-buffers-count)) + (cl-incf proof-display-some-buffers-count)) (t (setq proof-display-some-buffers-count 0))) - (let* ((assocbufs (remove-if-not 'buffer-live-p - (list proof-response-buffer - proof-thms-buffer - proof-trace-buffer - proof-goals-buffer - ))) + (let* ((assocbufs (cl-remove-if-not #'buffer-live-p + (list proof-response-buffer + proof-thms-buffer + proof-trace-buffer + proof-goals-buffer + ))) ;proof-shell-buffer (numassoc (length assocbufs))) ;; If there's no live other buffers, we don't do anything. (unless (zerop numassoc) (let ((selectedbuf (nth (mod proof-display-some-buffers-count - numassoc) assocbufs)) + numassoc) + assocbufs)) (nextbuf (nth (mod (1+ proof-display-some-buffers-count) - numassoc) assocbufs))) + numassoc) + assocbufs))) (cond ((or proof-three-window-enable proof-multiple-frames-enable) ;; Display two buffers: next in rotation and goals/response @@ -74,7 +76,8 @@ without adjusting window layout." (proof-switch-to-buffer selectedbuf 'noselect) (proof-switch-to-buffer (if (eq selectedbuf proof-goals-buffer) proof-response-buffer - proof-goals-buffer) 'noselect)) + proof-goals-buffer) + 'noselect)) (selectedbuf (proof-switch-to-buffer selectedbuf 'noselect))) (if (eq selectedbuf proof-response-buffer) @@ -755,7 +758,7 @@ suitable for adding to the proof assistant menu." (while (and new (fboundp menu-fn)) (setq menu-fn (intern (concat (symbol-name menuname-sym) "-" (int-to-string i)))) - (incf i)) + (cl-incf i)) (if inscript (eval `(proof-defshortcut ,menu-fn ,command ,key)) (eval `(proof-definvisible ,menu-fn ,command ,key))) @@ -789,7 +792,7 @@ suitable for adding to the proof assistant menu." nil t))) (let* ((favs (proof-ass favourites)) - (rmfavs (remove-if + (rmfavs (cl-remove-if (lambda (f) (string-equal menuname (caddr f))) favs))) (unless (equal favs rmfavs) @@ -831,7 +834,7 @@ KEY is the optional key binding." (let* ((menu-entry (proof-def-favourite command inscript menuname key t)) (favs (proof-ass favourites)) - (rmfavs (remove-if + (rmfavs (cl-remove-if (lambda (f) (string-equal menuname (caddr f))) favs)) (newfavs (append @@ -860,7 +863,7 @@ KEY is the optional key binding." (mapc (lambda (stg) (add-to-list 'groups (get (car stg) 'pggroup))) proof-assistant-settings) (dolist (grp (reverse groups)) - (let* ((gstgs (mapcan (lambda (stg) + (let* ((gstgs (cl-mapcan (lambda (stg) (if (eq (get (car stg) 'pggroup) grp) (list stg))) proof-assistant-settings)) |