definition module menuwindowmenu


//	Clean object I/O library, version 1.2

//	The definition and implementation of the WindowMenu. 


from	iostate import :: PSt, :: IOSt
import	windowhandle


openWindowMenu							::										!( PSt .l) ->  PSt .l
addWindowToWindowMenu					:: !Id !Title							!( PSt .l) ->  PSt .l
removeWindowFromWindowMenu				:: !Id									!(IOSt .l) -> IOSt .l
validateWindowActivateForWindowMenu`	:: !Id !Bool ![WindowAttribute *(.ls,PSt .p)] -> [WindowAttribute *(.ls,PSt .p)]
//validateWindowActivateForWindowMenu		:: !Id !(WindowLSHandle .ls (PSt .l)) !(IOSt .l)
//											-> (!WindowLSHandle .ls (PSt .l), ! IOSt .l)
changeWindowInWindowMenu				:: !Id !String !(IOSt .l) -> IOSt .l