I can't seem to reproduce it now. I removed the change, did a make clean followed by a make and the problem didn't occur. Strange. Maybe I didn't do a "make clean" last night.
Anyway, sorry for the inconvenience, Dinesh Guy Harris writes: > On Sat, Oct 25, 2003 at 10:08:54PM -0700, Dinesh G Dutt wrote: > > With the latest source checked out, I ran into a crash in main.c which got > > fixed by this patch. > > What's the stack trace from the crash, and how did you produce it? > That's a "can't happen" crash, except perhaps if you're editing your > preferences - the argument passed to "boldify()" should never *be* null. > (prefs.gui_font_name is initialized to point to a string, so even if > there's no font name in your preferences file, it should be set.) -- I am not young enough to know everything. - Oscar Wilde
