>> "Zephaniah E. Hull" <[EMAIL PROTECTED]> writes:
> > and record
>
> Hell if I know.
That's the record extension, used to record and playback events (device
events and device events consequences) as well as events from arbitrary
X extensions. I think the GNOME people have an application that does
this, but I'm not sure if it actually uses this extension. At any
rate, it was rather cool to watch.
> Err, you probably want to remove them, every now and then there are,
> issues, with the DRI code trees.
*frown*
--
Marcelo
--
To UNSUBSCRIBE, email to [EMAIL PROTECTED]
with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
