[slime-devel] splash patch version 3

Thanks to user feedback, here is the third release of the splash screen for slime. Added: - selection of splash-dark.png or splash-light.png depending on the dark/light status of the frame. - search the splash-*.png files first in ~/.slime/, then in load-paths. That should give each user an opportunity to have his own splash screen. splash-3.patch, to be applied after the previous patch. -- __Pascal Bourguignon__ http://www.informatimago.com/ There is no worse tyranny than to force a man to pay for what he does not want merely because you think it would be good for him. -- Robert Heinlein