Source position: xf86dga.pp line 113
type TXDGAButtonEvent = record
_type: cint;
serial: culong;
display: PDisplay;
screen: cint;
time: TTime;
state: cuint;
button: cuint;
end;