[slime-devel] Patch for startup animation

[Frederic Brunel]

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
-------------- next part --------------
A non-text attachment was scrubbed...
Name: startup-animation.diff
Type: text/x-patch
Size: 1387 bytes
Desc: not available
URL: <https://mailman.common-lisp.net/pipermail/slime-devel/attachments/20040616/aa37236a/attachment.bin>