Graphics.UI.GLUT.Window

Window identifiers

data Window

Creating and destroying (sub-)windows

createWindow

createSubWindow

destroyWindow

parentWindow

numSubWindows

Manipulating the current window

currentWindow

Re-displaying and double buffer management

postRedisplay

swapBuffers

Changing the window geometry

windowPosition

windowSize

fullScreen

fullScreenToggle

leaveFullScreen

Manipulating the stacking order

pushWindow

popWindow

Managing a window's display status

data WindowStatus

windowStatus

Changing the window/icon title

windowTitle

iconTitle

Cursor management

data Cursor

cursor

pointerPosition