Re: fancy-splash-help-echo

[Richard Stallman <rms@gnu.org>]

Thanks.  I think this change is called for.  Do you agree?

*** startup.el	15 Nov 2007 06:48:17 -0500	1.436.2.7
--- startup.el	09 Dec 2007 16:40:33 -0500	
***************
*** 1288,1295 ****
  
  ;; These are temporary storage areas for the splash screen display.
  
- (defvar fancy-splash-help-echo nil)
- 
  (defun fancy-splash-insert (&rest args)
    "Insert text into the current buffer, with faces.
  Arguments from ARGS should be either strings; functions called
--- 1288,1293 ----
***************
*** 1323,1329 ****
  					 (funcall it)
  				       it))
  				   'face current-face
! 				   'help-echo fancy-splash-help-echo))))
        (setq args (cdr args)))))
  
  
--- 1321,1327 ----
  					 (funcall it)
  				       it))
  				   'face current-face
! 				   'help-echo (startup-echo-area-message)))))
        (setq args (cdr args)))))
  
  
***************
*** 1505,1512 ****
  	(dolist (text fancy-about-text)
  	  (apply #'fancy-splash-insert text)
  	  (insert "\n"))
- 	(unless (current-message)
- 	  (message fancy-splash-help-echo))
  	(set-buffer-modified-p nil)
  	(goto-char (point-min))
  	(force-mode-line-update))
--- 1503,1508 ----