Window interface index

data Window {- abstract -}

data WindowType
 = ShellWindow
 | DialogueWindow
 | PopupWindow
 | SubWindow
   {- instances: Eq -}

 {- window creation -}
mkShellWindow ::Display 
              -> String 
	      -> Rectangle 
	      -> WindowResources 
	      -> ComponentHandle 
	      -> IO Window

mkWindow :: Window 
         -> Rectangle 
	 -> WindowResources 
	 -> ComponentHandle 
	 -> IO Window

 {- querying the window structure -}
getWindowType :: Window -> WindowType
getWinPainter :: Window -> Painter
getWinParent  :: Window -> Window
getWinSize    :: Window -> IO Size
getWinPos     :: Window -> IO Coord

getWinColourmap :: Window -> Colourmap
getWinColours   :: Window -> IO (Colour, Colour)

 {- predicates -}
isTopWindow	:: Window -> Bool  
isWinMono	:: Window -> IO Bool
isWinBuffered   :: Window -> Bool

 {- window operators -}
resizeWindow	:: Window -> (Int,Int) -> IO ()
moveWindow      :: Window -> (Int,Int) -> IO ()
iconifyWindow   :: Window -> IO ()
raiseWindow     :: Window -> IO ()
lowerWindow     :: Window -> IO ()
closeWindow     :: Window -> IO ()
mapWindow       :: Window -> IO ()
mapRaisedWindow :: Window -> IO ()
unmapWindow     :: Window -> IO ()
setWMHints      :: Window -> [WMHint]      -> IO ()
copyRegion      :: Window -> Region	 -> IO ()
copyRectangle   :: Window -> Rectangle     -> IO ()
redisplayWindow    :: Window -> IO ()
repairWindowRegion :: Window -> Region -> IO ()
updateRegion    :: Window 
                -> Region
		-> Bool 
		-> Bool 
		-> Maybe Colour 
		-> IO () 
		-> IO ()
updateRectangle :: Window 
                -> Rectangle
		-> Bool 
		-> Bool 
		-> Maybe Colour 
		-> IO () 
		-> IO ()

withLockDo   :: Window -> IO a -> IO a
lockWindow   :: Window -> Bool -> IO ()

grabWindow   :: Window -> GrabType -> IO ()
ungrabWindow :: Window -> IO ()

computeExtent     :: Window -> Picture -> IO Rectangle
translateWinCoord :: Window -> Coord   -> IO Coord

enableFocus     :: Window -> Bool -> IO ()
registerFocus   :: Window -> ComponentHandle -> IO Int
getFocus        :: Window -> Int -> IO ()
nextFocus       :: Window -> IO ()
prevFocus       :: Window -> IO ()

aquireSelection :: Window -> String -> TimeStamp -> IO () -> IO Bool
giveUpSelection :: Window -> IO ()
getSelection    :: Window - TimeStamp -> (Maybe String -> IO ()) -> IO ()

sendWindowDevEv :: Window -> DeviceEvent -> IO ()
sendWindowWComm :: Window -> WComm -> IO ()        

getWinHandle    :: Window -> IO ComponentHandle
setWinHandle    :: Window -> ComponentHandle -> IO ()

getWindowCursor    :: Window -> IO Cursor
setWindowCursor    :: Window -> Cursor -> IO ()
recolourWindowCursor :: Window -> Colour -> Colour -> IO ()

setWindowTitle     :: Window -> String -> IO ()
getWindowTitle     :: Window -> IO String

setWindowIconTitle :: Window -> String -> IO ()
getWindowIconTitle :: Window -> IO String

setWindowIcon      :: Window -> Raster -> IO (Maybe Window)