Re: xemacs update
Re: xemacs update
On Fri, Jun 13, 2003 at 04:27:12PM +0100, Lawrence Paulson wrote:
> On Friday, June 13, 2003, at 02:10 pm, robert delius royar wrote:
>
> >Based on what you've told us recently about problems with XEmacs and
> >ProofGeneral, I think you might be able to get a better handle on what
> >your
> >errors are if you asked the folks on comp.emacs.xemacs (newsgroup) and
> >email@hidden if anyone else is using ProofGeneral and has a
> >setup
> >similar to yours.
>
> The number of ProofGeneral users must be tiny. Surely the main point
> is that just clicking on the toolbar causes XEmacs to hang?
>
> Incidentally, somebody else is having identical problems. He has gone
> to even more trouble than I to fix it. I attach part of a message sent
> to x11-users on 10 April 2003.
Have you tried asking about this on the ProofGeneral mailing list? I
noticed on their web site that there is one.
You seem to have convinced yourself that this is an X11 based problem,
but I have yet to see any evidence that this is the case. I think
you're barking up the wrong tree, and the xemacs and ProofGeneral lists
and newsgroups will be the best place to ask.
Tim
--
Dr Tim Cutts
Informatics Systems Group
Wellcome Trust Sanger Institute, Hinxton, Cambridge, CB10 1SA, UK
_______________________________________________
x11-users mailing list | email@hidden
Help/Unsubscribe/Archives: http://www.lists.apple.com/mailman/listinfo/x11-users
X11 for Mac OS X FAQ: http://developer.apple.com/qa/qa2001/qa1232.html
Report issues, request features, feedback: http://developer.apple.com/bugreporter
Do not post admin requests to the list. They will be ignored.