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. _______________________________________________ Bug-gnubg mailing list [email protected] http://lists.gnu.org/mailman/listinfo/bug-gnubg
