Variable GLXPipeRect.destHeight

struct GLXPipeRect
{
  // ...
  int destHeight ;
  // ...
}