Graphics.UI.GLUT.State
State of all windows
windowBorderWidth
windowHeaderHeight
State of the
current window
rgba
type
BufferDepth
rgbaBufferDepths
colorBufferDepth
doubleBuffered
stereo
accumBufferDepths
depthBufferDepth
stencilBufferDepth
type
SampleCount
sampleCount
formatID
GLUT state pertaining to the layers of the
current window
damaged
Timing
elapsedTime
Device information
screenSize
screenSizeMM
hasKeyboard
type
ButtonCount
numMouseButtons
numSpaceballButtons
type
DialCount
numDialsAndButtons
numTabletButtons
type
AxisCount
type
PollRate
joystickInfo
GLUT information
glutVersion