home *** CD-ROM | disk | FTP | other *** search
/ Celestin Apprentice 7 / Apprentice-Release7.iso / Environments / Clean 1.2.4 / IOInterface / Window1.dcl < prev    next >
Encoding:
Modula Definition  |  1995-03-02  |  1.9 KB  |  37 lines  |  [TEXT/3PRM]

  1. definition module Window1;
  2.  
  3. //    Version 0.8 to 1.0
  4.  
  5. import    Window2;
  6.  
  7.  
  8. ChangeWindowTitle            :: !WindowId !WindowTitle            !(IOState s) -> IOState s;
  9. ChangeUpdateFunction        :: !WindowId !(UpdateFunction s)    !(IOState s) -> IOState s;
  10. ChangeWindowCursor            :: !WindowId !CursorShape            !(IOState s) -> IOState s;
  11. ActivateWindow                :: !WindowId                        !(IOState s) -> IOState s;
  12. DrawInWindow                :: !WindowId ![DrawFunction]        !(IOState s) -> IOState s;
  13. EnableKeyboard                :: !WindowId                        !(IOState s) -> IOState s;
  14. DisableKeyboard                :: !WindowId                        !(IOState s) -> IOState s;
  15. ChangeKeyboardFunction        :: !WindowId !(KeyboardFunction s (IOState s))
  16.                                                                 !(IOState s) -> IOState s;
  17. EnableMouse                    :: !WindowId                        !(IOState s) -> IOState s;
  18. DisableMouse                :: !WindowId                        !(IOState s) -> IOState s;
  19. ChangeMouseFunction            :: !WindowId !(MouseFunction s (IOState s))
  20.                                                                 !(IOState s) -> IOState s;
  21.  
  22. ChangeActiveWindowTitle        :: !WindowTitle                        !(IOState s) -> IOState s;
  23. ChangeActiveUpdateFunction    :: !(UpdateFunction s)                !(IOState s) -> IOState s;
  24. ChangeActiveWindowCursor    :: !CursorShape                        !(IOState s) -> IOState s;
  25. SetRightCursorShape            :: !CursorShape                        !(IOState s) -> IOState s;
  26. OpenWindows                    :: ![WindowDef s (IOState s)]        !(IOState s) -> IOState s;
  27. CloseWindows                :: ![WindowId]                        !(IOState s) -> IOState s;
  28. CloseActiveWindow            ::                                    !(IOState s) -> IOState s;
  29. DrawInActiveWindow            :: ![DrawFunction]                    !(IOState s) -> IOState s;
  30. EnableActiveKeyboard        ::                                    !(IOState s) -> IOState s;
  31. DisableActiveKeyboard        ::                                    !(IOState s) -> IOState s;
  32. ChangeActiveKeyboardFunction:: !(KeyboardFunction s (IOState s))
  33.                                                                 !(IOState s) -> IOState s;
  34. EnableActiveMouse            ::                                    !(IOState s) -> IOState s;
  35. DisableActiveMouse            ::                                    !(IOState s) -> IOState s;
  36. ChangeActiveMouseFunction    :: !(MouseFunction s (IOState s))    !(IOState s) -> IOState s;
  37.