On Thursday 29 June 2006 01:44 am, Bastian Maerkisch wrote:
>
> I am sorry, but I didn't manage up till now. I am _very_ busy at
> the moment ...
Understood.
I'm about to leave town myself, and won't be available
again until some time next week.
> I think I found the bug, though: In WIN_enhanced_open() the
> font was reset to the current font (WIN_font) instead of
> the default font (see attachment). Stupid me.
There was no attachment, but I think I've understood you and
made the change. Somebody please confirm whether or not that
was indeed the correct fix, so we can close the bug report.
--
Ethan A Merritt
Biomolecular Structure Center
University of Washington, Seattle WA
|