Re: [slime-devel] Daily ChangeLog diff - NO MORE SLIME STARTUP ANIMATION!!

On 1/30/07, Marco Baringer <mbaringer@common-lisp.net> wrote:

Index: slime/ChangeLog diff -u slime/ChangeLog:1.1059 slime/ChangeLog:1.1061 --- slime/ChangeLog:1.1059 Mon Jan 29 18:43:17 2007 +++ slime/ChangeLog Tue Jan 30 17:23:39 2007 @@ -1,3 +1,14 @@ +2007-01-30 Helmut Eller <heller@common-lisp.net> + + * slime.el (slime-complete-symbol-function): Restore old default. + (set-keymap-parents): Deleted. + (slime-startup-animation): Deleted.

What, the slime startup animation has been removed? First appendices are added to the manual, now the startup animation goes. Are we to retain no traditions? :-( -- Bill