diff options
| author | David Aspinall | 2007-12-10 11:08:52 +0000 |
|---|---|---|
| committer | David Aspinall | 2007-12-10 11:08:52 +0000 |
| commit | f5af0303ddfa39596c6f5c7d966575050914c07c (patch) | |
| tree | 6bc87fb10debac5e05add506d6779f8ffa44387a | |
| parent | e6e2c1ef244baceef033721b00dfed9a317d07d3 (diff) | |
Comments.
| -rw-r--r-- | generic/proof-splash.el | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/generic/proof-splash.el b/generic/proof-splash.el index d35edf59..8e0df006 100644 --- a/generic/proof-splash.el +++ b/generic/proof-splash.el @@ -184,8 +184,7 @@ Borrowed from startup-center-spaces." (set-window-configuration (cdr proof-splash-timeout-conf))) (if proof-running-on-XEmacs (redraw-frame nil t)))) - ;; Indicate that we have removed splash screen; - ;; disable the timeout + ;; Indicate removed splash screen; disable timeout (disable-timeout (car proof-splash-timeout-conf)) (setq proof-splash-timeout-conf nil) (proof-splash-remove-buffer))))) |