GNOME Bugzilla – Bug 97893
patch for customizable splash screen
Last modified: 2004-12-22 21:47:04 UTC
Hello, I have created a patch for customizing the splash screen. This was created for the Debian Desktop project, so we can easily subsitute our own splash screen by default. Is this OK to apply?
Created attachment 12111 [details] [review] patch for customizable splash screens
Colin: um, that's not a patch ... This has also been in HEAD for a while now. See bug #57151 *** This bug has been marked as a duplicate of 57151 ***
Oops, I saved the wrong Emacs buffer...just for reference, the real patch is here: http://web.verbum.org/~walters/files/gnome-session.patch Anyways, I'm glad to see this functionality is already in HEAD.