|
From: Ethan M. <merritt@u.washington.edu> - 2005-05-10 19:44:47
|
On Tuesday 10 May 2005 11:51 am, Ga=EBl Varoquaux wrote: > > It's a little bit trickier than I made it sound. For instance, you can > > save the output from the x11 terminal driver to a file so that you can > > play it back later (like a recording of the session). >=20 > I thought it was a different terminal (xlib) ! Yes, it is xlib. But the two drivers are no longer separate; the xlib and x11 drivers share almost all driver routines. I did not mean to imply that x11/xlib would cause a problem. On the contrary, I meant that I understand how x11/xlib works and so I can be careful to test any possible bad effects of the proposed change. But I am not equivalently familiar with the windows driver, and cannot test it myself to explore possible side-effects. =2D-=20 Ethan A Merritt merritt@u.washington.edu Biomolecular Structure Center Mailstop 357742 University of Washington, Seattle, WA 98195 |