blob: 46090c1f223f8485ded444f89d4854cf8395ec53 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
|
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
|
