home *** CD-ROM | disk | FTP | other *** search
/ Il CD di internet / CD.iso / SOURCE / AP / JED / JED097-1.TAR / jed / src / display.h < prev    next >
Encoding:
C/C++ Source or Header  |  1994-12-12  |  1.5 KB  |  54 lines
  1. /*
  2.  *  Copyright (c) 1992, 1994 John E. Davis  (davis@amy.tch.harvard.edu)
  3.  *  All Rights Reserved.
  4.  */
  5.  
  6. extern void (*tt_goto_rc)(int, int);
  7. extern void (*tt_begin_insert)(void);
  8. extern void (*tt_end_insert)(void);
  9. extern void (*tt_del_eol)(void);
  10. extern void (*tt_delete_nlines)(int);
  11. extern void (*tt_delete_char)(void);
  12. extern void (*tt_erase_line)(void);
  13. extern void (*tt_cls)(void);
  14. extern void (*tt_beep)(void);
  15. extern void (*tt_reverse_index)(int);
  16. extern void (*tt_smart_puts)(unsigned short *, unsigned short *, int, int);
  17. extern void (*tt_wide_width)(void);
  18. extern void (*tt_narrow_width)(void);
  19. extern void (*tt_write_string)(char *);
  20. extern void (*tt_putchar)(char);
  21. extern void (*tt_init_video)(void);
  22. extern void (*tt_reset_video)(void);
  23. extern void (*tt_normal_video)(void);
  24. extern void (*tt_set_scroll_region)(int, int);
  25. extern void (*tt_reset_scroll_region)(void);
  26. extern void (*tt_get_terminfo)(void);
  27. extern void (*tt_enable_cursor_keys)(void);
  28. extern void (*tt_set_term_vtxxx)(int *);
  29. extern void (*tt_set_color)(int, char *, char *, char *);
  30. extern void (*tt_set_color_esc)(int, char *);
  31.  
  32. extern int *tt_Ignore_Beep;
  33. extern int *tt_Term_Cannot_Insert;
  34. extern int *tt_Use_Ansi_Colors;
  35. extern int *tt_Term_Cannot_Scroll;
  36. extern int *tt_Screen_Rows;
  37. extern int *tt_Screen_Cols;
  38. extern int *tt_Baud_Rate;
  39.  
  40.  
  41. #ifdef pc_system
  42.   extern int Attribute_Byte;
  43. # ifndef __GO32__
  44.    extern int Cheap_Video;
  45.    extern void video_off(void);
  46.    extern void video_on(void);
  47. # endif
  48. #endif
  49.  
  50. /* Miscellaneous Stuff */
  51. extern int Scroll_By_Copying;
  52.  
  53. extern void flush_output (void);
  54.