diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2004-04-15 16:51:17 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2004-04-15 16:51:17 +0000 |
| commit | 68db52355e7136765864cb78e28a39698ca9f7e2 (patch) | |
| tree | bcc6aeb123cd74696ecb42a0e55128fa050579e6 /generic/proof-splash.el | |
| parent | 15db5e1ad62ec232f1cefb747f98cef3fc4d57f2 (diff) | |
Set frame title format to [Prover] Proof General: buffer.
Diffstat (limited to 'generic/proof-splash.el')
| -rw-r--r-- | generic/proof-splash.el | 11 |
1 files changed, 11 insertions, 0 deletions
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. |