[Bug-gnubg] Splash screen

[Christian Anthon]

Hi Jon (and the rest of you),

some time ago I changed the default to splash screen off during start
up. It was not very neatly done, but crept in to the cvs anyway. I
don't remember if it was intentional or not, but nobody complained and
I forgot about it. But anyway, Jon turned it back to default on
yesterday. It still bothers me as it is quite ugly, and I find it a
complete waste of time for normal use. So is there any reason to keep
it around?

Christian.