diff options
| author | Christophe Raffalli | 2001-07-25 14:15:34 +0000 |
|---|---|---|
| committer | Christophe Raffalli | 2001-07-25 14:15:34 +0000 |
| commit | 4b511ab973f04e878dfb4288ba6006871b467eb8 (patch) | |
| tree | a922c9687092bb18ae82b4e321198cfece936296 /generic/proof-splash.el | |
| parent | d566389017383722af7f3390569cd51f96325fee (diff) | |
Various changes for win32 compatibility
Diffstat (limited to 'generic/proof-splash.el')
| -rw-r--r-- | generic/proof-splash.el | 14 |
1 files changed, 9 insertions, 5 deletions
diff --git a/generic/proof-splash.el b/generic/proof-splash.el index e4519b4c..c83fdef5 100644 --- a/generic/proof-splash.el +++ b/generic/proof-splash.el @@ -16,7 +16,8 @@ :type 'boolean :group 'proof-user-options) -(defcustom proof-splash-time 4 +; timeout too long on win32. Why ? +(defcustom proof-splash-time (if proof-running-on-win32 1 4) "Minimum number of seconds to display splash screen for. The splash screen may be displayed for a couple of seconds longer than this, depending on how long it takes the machine to initialise @@ -132,9 +133,12 @@ Borrowed from startup-center-spaces." (progn (if (get-buffer-window splashbuf) ;; Restore the window config if splash is being displayed - (set-window-configuration conf)) - ;; Destroy splash buffer - (kill-buffer splashbuf))))) + (progn + ;; Destroy buffer before restoring ! + (kill-buffer splashbuf) + (set-window-configuration conf) + (redraw-device nil t)) + (kill-buffer splashbuf)))))) (defvar proof-splash-seen nil "Flag indicating the user has been subjected to a welcome message.") @@ -179,7 +183,7 @@ Borrowed from startup-center-spaces." (sit-for 0)) (setq proof-splash-timeout-conf (cons - (add-timeout (if timeout proof-splash-time 20) + (add-timeout (if timeout proof-splash-time 10) 'proof-splash-remove-screen winconf) winconf))) |