Add save-selected-frame for GNU Emacs

1 files changed, 10 insertions, 0 deletions

diff --git a/generic/proof-compat.el b/generic/proof-compat.el
index ca765d80..b5dfa466 100644
--- a/generic/proof-compat.el
+++ b/generic/proof-compat.el
@@ -213,6 +213,16 @@ lines than are actually needed in the case where some error may be present."
 ;;; GNU Emacs compatibility with XEmacs
 ;;;
 
+(unless (fboundp 'save-selected-frame)
+(defmacro save-selected-frame (&rest body)
+  "Execute forms in BODY, then restore the selected frame.
+The value returned is the value of the last form in BODY."
+  (let ((old-frame (gensym "ssf")))
+    `(let ((,old-frame (selected-frame)))
+       (unwind-protect
+           (progn ,@body)
+         (select-frame ,old-frame))))))
+
 ;; Chars (borrowed from x-symbol-emacs.el compatability file)
 
 (unless (fboundp 'characterp) (defalias 'characterp 'integerp))