>> "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
