Re: GTK XEmacs vs GTK bug 85715?