From 68db52355e7136765864cb78e28a39698ca9f7e2 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Thu, 15 Apr 2004 16:51:17 +0000
Subject: Set frame title format to [Prover] Proof General: buffer.

---
 generic/proof-splash.el | 11 +++++++++++
 1 file changed, 11 insertions(+)

diff --git a/generic/proof-splash.el b/generic/proof-splash.el
index ad464e6a..0e5541fa 100644
--- a/generic/proof-splash.el
+++ b/generic/proof-splash.el
@@ -214,6 +214,7 @@ If TIMEOUT is non-nil, time out outside this function, definitely
 by end of configuring proof mode.
 Otherwise, timeout inside this function after 10 seconds or so."
  (interactive "P")
+ (proof-splash-set-frame-titles)
   (let*
       ;; Keep win config explicitly instead of pushing/popping because
       ;; if the user switches windows by hand in some way, we want
@@ -309,5 +310,15 @@ Otherwise, timeout inside this function after 10 seconds or so."
 	    (cons (next-command-event) unread-command-events)))
   (remove-hook 'proof-mode-hook 'proof-splash-timeout-waiter))
 
+(defun proof-splash-set-frame-titles ()
+  (let 
+      ((instance-name (concat
+		       (if (and proof-assistant
+				(not (string-equal proof-assistant "")))
+			   (concat proof-assistant " "))
+		       "Proof General")))
+    (setq frame-title-format 
+	  (concat instance-name ":   %b"))))
+
 (provide 'proof-splash)
 ;; End of proof-splash.
-- 
cgit v1.2.3