[slime-devel] Patch for startup animation

Hi, Here is a tiny patch concerning the startup animation. I've just added a customizable variable instead of having a «simple» variable to be setted. Actually, I tend to use only customizable variables, I think it's a great system. -- Frederic Brunel