home *** CD-ROM | disk | FTP | other *** search
/ Il CD di internet / CD.iso / SOURCE / AP / JED / JED097-1.TAR / jed / src / ledit.h < prev    next >
Encoding:
C/C++ Source or Header  |  1994-12-12  |  2.8 KB  |  90 lines
  1. /*
  2.  *  Copyright (c) 1992, 1994 John E. Davis  (davis@amy.tch.harvard.edu)
  3.  *  All Rights Reserved.
  4.  */
  5.  
  6. extern Buffer *The_MiniBuffer;
  7.  
  8. extern int load_file(char *);
  9. extern int find_file_in_window(char *);
  10. extern int find_file(void);
  11. extern int get_buffer(void);
  12. extern int evaluate_cmd(void);
  13. extern int kill_buffer(void);
  14. extern int write_buffer(void);
  15. extern int search_forward_cmd(void);
  16. extern int global_setkey_cmd(void);
  17. extern int search_backward_cmd(void);
  18. extern int insert_file_cmd(void);
  19. extern void init_minibuffer(void);
  20. extern int exit_minibuffer(void);
  21. extern int select_minibuffer(void);
  22. extern void flush_message(char *);
  23. extern int mini_complete(void);
  24. extern void mini_read(char *, char *, char *);
  25. extern void buffer_substring(void);
  26. extern char *make_line_string(char *);
  27. extern int set_buffer(char *);
  28. extern void insert_string(char *);
  29. extern void unset_key(char *);
  30. extern void unset_key(char *key);
  31. extern void set_key(char *, char *);
  32. extern void unset_key_in_keymap(char *, char *);
  33. extern int keymap_p(char *);
  34. extern void set_key_in_keymap(char *, char *, char *);
  35. extern char *pop_to_buffer(char *);
  36. extern int num_windows(void);
  37. extern int init_jed_intrinsics(void);
  38. #if defined (unix) || defined (__os2__)
  39. extern int shell_command(char *);
  40. extern int pipe_region(char *);
  41. #endif
  42.  
  43. extern void load_buffer(void);
  44. extern void get_key_function(void);
  45. extern int what_char(void);
  46. extern void update_cmd(int *);
  47. extern void call_cmd(char *);
  48. extern void copy_region_cmd(char *);
  49.  
  50. #ifndef pc_system
  51. extern void screen_w80(void);
  52. extern void screen_w132(void);
  53. #else
  54. extern int show_memory(void);
  55. #endif
  56. extern void buffer_substring(void);
  57. extern int markp(void);
  58. extern int dup_mark(void);
  59. extern void mini_read(char *, char *, char *);
  60. extern void send_string_to_term(char *);
  61. extern void get_buffer_info(void);
  62. extern void set_buffer_info(char *, char *, char *, int *);
  63. extern void make_buffer_list(void);
  64. extern char *make_buffer_substring(int *);
  65. extern int window_size_intrinsic(int *);
  66. extern int what_mode(void);
  67. extern int expand_wildcards(char *);
  68. extern int bufferp(char *);
  69. extern int kill_buffer_cmd(char *);
  70. extern int get_doc_string(char *, char *);
  71. extern int insert_buffer_name(char *);
  72. extern int find_file_cmd(char *);
  73. extern void read_object_with_completion(char *, char *, char *, int *);
  74. extern int replace_cmd(char *, char *);
  75. extern void set_mode_cmd(char *, int *);
  76. extern void switch_to_buffer_cmd(char *);
  77. extern char *what_buffer(void);
  78. extern int write_buffer_cmd(char *);
  79. extern char Last_Search_Str[132];
  80. extern void set_tab(int *);
  81. extern int get_yes_no(char *);
  82. extern char *command_line_argv(int *);
  83. extern void count_chars(void);
  84. extern int MiniBuffer_Active;
  85. extern int Main_Argc;
  86. extern char **Main_Argv;
  87. extern char Jed_Library[];
  88. extern FILE *jed_open_slang_file(char *, char *);
  89. extern char *Completion_Buffer;
  90.