20 Jun
2004
20 Jun
'04
5:05 a.m.
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