diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2005-02-13 19:11:58 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2005-02-13 19:11:58 +0000 |
| commit | b59563d01e2fa5cd0b2a4e6a26505fe17ee456df (patch) | |
| tree | 0db4d4cc057bd661424ca21241f498d8c573a072 /generic | |
| parent | cd0e8a6d5c28476e50234bbbd08c5209fd323375 (diff) | |
Add patch by Stefan Monnier to revert frame titles (although would have liked to keep them maybe)
Diffstat (limited to 'generic')
| -rw-r--r-- | generic/proof-splash.el | 18 |
1 files changed, 12 insertions, 6 deletions
diff --git a/generic/proof-splash.el b/generic/proof-splash.el index efc4afb9..2e7a084d 100644 --- a/generic/proof-splash.el +++ b/generic/proof-splash.el @@ -166,8 +166,8 @@ Borrowed from startup-center-spaces." (defun proof-splash-remove-screen (&optional nothing) "Remove splash screen and restore window config." - (let - ((splashbuf (get-buffer proof-splash-welcome))) + (let ((splashbuf (get-buffer proof-splash-welcome))) + (proof-splash-unset-frame-titles) (if (and splashbuf proof-splash-timeout-conf) @@ -307,15 +307,21 @@ 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)) +(defvar proof-splash-old-frame-title-format nil) + (defun proof-splash-set-frame-titles () - (let - ((instance-name (concat - (if (and proof-assistant - (not (string-equal proof-assistant ""))) + (let ((instance-name (concat + (if (not (zerop (length proof-assistant))) (concat proof-assistant " ")) "Proof General"))) + (setq proof-splash-old-frame-title-format frame-title-format) (setq frame-title-format (concat instance-name ": %b")))) +(defun proof-splash-unset-frame-titles () + (when proof-splash-old-frame-title-format + (setq frame-title-format proof-splash-old-frame-title-format) + (setq proof-splash-old-frame-title-format nil))) + (provide 'proof-splash) ;; End of proof-splash. |