home *** CD-ROM | disk | FTP | other *** search
/ Usenet 1994 January / usenetsourcesnewsgroupsinfomagicjanuary1994.iso / sources / misc / volume3 / pcmail / part07 / window.h < prev    next >
Encoding:
C/C++ Source or Header  |  1989-02-03  |  1.5 KB  |  61 lines
  1. /*++
  2. /* NAME
  3. /*    window 5
  4. /* SUMMARY
  5. /*    window manager definitions
  6. /* PROJECT
  7. /*    pc-mail
  8. /* PACKAGE
  9. /*    mailsh
  10. /* SYNOPSIS
  11. /*    #include "window.h"
  12. /* DESCRIPTION
  13. /*    The macros and variables defined here are used for window
  14. /*    manipulation.
  15. /* .nf
  16.  
  17. /* /* window selection macros */
  18.  
  19. #define    TOP    0        /* top window */
  20. #define    MID    1        /* middle window */
  21. #define    BOT    2        /* bottom window */
  22.  
  23. extern int wsize[BOT+1];    /* nbr of lines in windows */
  24. extern int CO,LI;        /* size of whole screen */
  25.  
  26. /* /* function-key codes */
  27.  
  28. extern char *KU,*KD,*KL,*KR,*PU,*PD;
  29.  
  30. /* /* codes to turn on/off keypad, if you have one */
  31.  
  32. extern char *KS,*KE;
  33.  
  34. /* /* functions that write to windows */
  35.  
  36. extern void wininit();        /* init the window manager */
  37. extern int printcl();        /* erase line, then print */
  38. extern int printat();        /* print line */
  39. extern int putw();        /* print character on window */
  40. extern int printw();        /* formatted print on window */
  41. extern void clrtoeol();        /* erase to end of line */
  42. extern void clrtobot();        /* clear to screen bottom */
  43. extern void beep();        /* ring the bell */
  44. #ifdef unix
  45. extern int fputchar();        /* put a character on stdout */
  46. #endif
  47. /* SEE ALSO
  48. /*    window(3)    window manager
  49. /* AUTHOR(S)
  50. /*    W.Z. Venema
  51. /*    Eindhoven University of Technology
  52. /*    Department of Mathematics and Computer Science
  53. /*    Den Dolech 2, P.O. Box 513, 5600 MB Eindhoven, The Netherlands
  54. /* CREATION DATE
  55. /*    Wed Apr  1 21:14:53 GMT+1:00 1987
  56. /* LAST MODIFICATION
  57. /*    Mon Apr  4 23:51:44 MET 1988
  58. /* VERSION/RELEASE
  59. /*    1.3
  60. /*--*/
  61.