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

fullScreenMode

# 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

supportedNumAuxBuffers

supportedSamplesPerPixel

# GLUT information

glutVersion

initState