diff options
| author | Camil Staps | 2015-07-01 17:36:37 +0200 |
|---|---|---|
| committer | Camil Staps | 2015-07-01 17:36:37 +0200 |
| commit | 7553b7f9d4dddc2235c137d41de8ce22547bebe3 (patch) | |
| tree | 34f8fb4b36640317d728a60586424f67f9befbe7 /menuwindowmenu.dcl | |
| parent | gitignore (diff) | |
Initial commit
Diffstat (limited to 'menuwindowmenu.dcl')
| -rw-r--r-- | menuwindowmenu.dcl | 19 |
1 files changed, 19 insertions, 0 deletions
diff --git a/menuwindowmenu.dcl b/menuwindowmenu.dcl new file mode 100644 index 0000000..46090c1 --- /dev/null +++ b/menuwindowmenu.dcl @@ -0,0 +1,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
|