XTerm.Options.WindowOptions

data WindowOptions

type WindowOption = Option WindowOptions

restoreWin :: WindowOption Boolean

minimizeWin :: WindowOption Boolean

setWinPosition :: WindowOption Boolean

setWinSizePixels :: WindowOption Boolean

raiseWin :: WindowOption Boolean

lowerWin :: WindowOption Boolean

refreshWin :: WindowOption Boolean

setWinSizeChars :: WindowOption Boolean

maximizeWin :: WindowOption Boolean

fullscreenWin :: WindowOption Boolean

getWinState :: WindowOption Boolean

getWinPosition :: WindowOption Boolean

getWinSizePixels :: WindowOption Boolean

getScreenSizePixels :: WindowOption Boolean

getCellSizePixels :: WindowOption Boolean

getWinSizeChars :: WindowOption Boolean

getScreenSizeChars :: WindowOption Boolean

getIconTitle :: WindowOption Boolean

getWinTitle :: WindowOption Boolean

pushTitle :: WindowOption Boolean

popTitle :: WindowOption Boolean

setWinLines :: WindowOption Boolean