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