diff options
-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. |