1 | /* session.h -- Functions found in session.c.
|
---|
2 | $Id: session.h,v 1.3 2004/04/11 17:56:46 karl Exp $
|
---|
3 |
|
---|
4 | Copyright (C) 1993, 1998, 1999, 2001, 2002, 2004 Free Software
|
---|
5 | Foundation, Inc.
|
---|
6 |
|
---|
7 | This program is free software; you can redistribute it and/or modify
|
---|
8 | it under the terms of the GNU General Public License as published by
|
---|
9 | the Free Software Foundation; either version 2, or (at your option)
|
---|
10 | any later version.
|
---|
11 |
|
---|
12 | This program is distributed in the hope that it will be useful,
|
---|
13 | but WITHOUT ANY WARRANTY; without even the implied warranty of
|
---|
14 | MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
---|
15 | GNU General Public License for more details.
|
---|
16 |
|
---|
17 | You should have received a copy of the GNU General Public License
|
---|
18 | along with this program; if not, write to the Free Software
|
---|
19 | Foundation, Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA.
|
---|
20 |
|
---|
21 | Written by Brian Fox (bfox@ai.mit.edu). */
|
---|
22 |
|
---|
23 | #ifndef SESSION_H
|
---|
24 | #define SESSION_H
|
---|
25 |
|
---|
26 | #include "info.h"
|
---|
27 | #include "dribble.h"
|
---|
28 |
|
---|
29 | /* All commands that can be invoked from within info_session () receive
|
---|
30 | arguments in the same way. This simple define declares the header
|
---|
31 | of a function named NAME, with associated documentation DOC. The
|
---|
32 | documentation string is groveled out of the source files by the
|
---|
33 | utility program `makedoc', which is also responsible for making
|
---|
34 | the documentation/function-pointer maps. */
|
---|
35 | #define DECLARE_INFO_COMMAND(name, doc) \
|
---|
36 | void name (WINDOW *window, int count, unsigned char key)
|
---|
37 |
|
---|
38 | /* Variables found in session.h. */
|
---|
39 | extern VFunction *info_last_executed_command;
|
---|
40 |
|
---|
41 | /* Variable controlling the garbage collection of files briefly visited
|
---|
42 | during searches. Such files are normally gc'ed, unless they were
|
---|
43 | compressed to begin with. If this variable is non-zero, it says
|
---|
44 | to gc even those file buffer contents which had to be uncompressed. */
|
---|
45 | extern int gc_compressed_files;
|
---|
46 |
|
---|
47 | /* When non-zero, tiling takes place automatically when info_split_window
|
---|
48 | is called. */
|
---|
49 | extern int auto_tiling_p;
|
---|
50 |
|
---|
51 | /* Variable controlling the behaviour of default scrolling when you are
|
---|
52 | already at the bottom of a node. */
|
---|
53 | extern int info_scroll_behaviour;
|
---|
54 | extern char *info_scroll_choices[];
|
---|
55 |
|
---|
56 | /* Values for info_scroll_behaviour. */
|
---|
57 | #define IS_Continuous 0 /* Try to get first menu item, or failing that, the
|
---|
58 | "Next:" pointer, or failing that, the "Up:" and
|
---|
59 | "Next:" of the up. */
|
---|
60 | #define IS_NextOnly 1 /* Try to get "Next:" menu item. */
|
---|
61 | #define IS_PageOnly 2 /* Simply give up at the bottom of a node. */
|
---|
62 |
|
---|
63 | /* Utility functions found in session.c */
|
---|
64 | extern void info_dispatch_on_key (unsigned char key, Keymap map);
|
---|
65 | extern unsigned char info_get_input_char (void);
|
---|
66 | extern unsigned char info_get_another_input_char (void);
|
---|
67 | extern unsigned char info_input_pending_p (void);
|
---|
68 | extern void remember_window_and_node (WINDOW *window, NODE *node);
|
---|
69 | extern void set_remembered_pagetop_and_point (WINDOW *window);
|
---|
70 | extern void set_window_pagetop (WINDOW *window, int desired_top);
|
---|
71 | extern void info_set_node_of_window (int remember, WINDOW *window,
|
---|
72 | NODE *node);
|
---|
73 | extern void initialize_keyseq (void);
|
---|
74 | extern void add_char_to_keyseq (char character);
|
---|
75 | extern void info_gather_typeahead (void);
|
---|
76 | extern FILE_BUFFER *file_buffer_of_window (WINDOW *window);
|
---|
77 | extern long info_search_in_node (char *string, NODE *node,
|
---|
78 | long int start, WINDOW *window, int dir, int case_sensitive);
|
---|
79 | extern long info_target_search_node (NODE *node, char *string,
|
---|
80 | long int start);
|
---|
81 | extern void info_select_reference (WINDOW *window, REFERENCE *entry);
|
---|
82 | extern int info_any_buffered_input_p (void);
|
---|
83 | extern void print_node (NODE *node);
|
---|
84 | extern void dump_node_to_file (NODE *node, char *filename,
|
---|
85 | int dump_subnodes);
|
---|
86 | extern void dump_nodes_to_file (char *filename, char **nodenames,
|
---|
87 | char *output_filename, int dump_subnodes);
|
---|
88 | extern char *program_name_from_file_name (char *file_name);
|
---|
89 |
|
---|
90 | /* Do the physical deletion of WINDOW, and forget this window and
|
---|
91 | associated nodes. */
|
---|
92 | extern void info_delete_window_internal (WINDOW *window);
|
---|
93 |
|
---|
94 | /* Tell Info that input is coming from the file FILENAME. */
|
---|
95 | extern void info_set_input_from_file (char *filename);
|
---|
96 |
|
---|
97 | #define return_if_control_g(val) \
|
---|
98 | do { \
|
---|
99 | info_gather_typeahead (); \
|
---|
100 | if (info_input_pending_p () == Control ('g')) \
|
---|
101 | return (val); \
|
---|
102 | } while (0)
|
---|
103 |
|
---|
104 | /* The names of the functions that run an info session. */
|
---|
105 |
|
---|
106 | /* Starting an info session. */
|
---|
107 | extern void begin_multiple_window_info_session (char *filename,
|
---|
108 | char **nodenames);
|
---|
109 | extern void begin_info_session (NODE *initial_node);
|
---|
110 | extern void begin_info_session_with_error (NODE *initial_node,
|
---|
111 | char *format, void *arg1, void *arg2);
|
---|
112 | extern void info_session (void);
|
---|
113 | extern void initialize_info_session (NODE *node, int clear_screen);
|
---|
114 | extern void info_read_and_dispatch (void);
|
---|
115 | extern void info_intuit_options_node (WINDOW *window,
|
---|
116 | NODE *initial_node, char *program);
|
---|
117 |
|
---|
118 | /* Moving the point within a node. */
|
---|
119 | extern void info_next_line (WINDOW *window, int count, unsigned char key);
|
---|
120 | extern void info_prev_line (WINDOW *window, int count, unsigned char key);
|
---|
121 | extern void info_end_of_line (WINDOW *window, int count, unsigned char key);
|
---|
122 | extern void info_beginning_of_line (WINDOW *window, int count, unsigned char key);
|
---|
123 | extern void info_forward_char (WINDOW *window, int count, unsigned char key);
|
---|
124 | extern void info_backward_char (WINDOW *window, int count, unsigned char key);
|
---|
125 | extern void info_forward_word (WINDOW *window, int count, unsigned char key);
|
---|
126 | extern void info_backward_word (WINDOW *window, int count, unsigned char key);
|
---|
127 | extern void info_beginning_of_node (WINDOW *window, int count, unsigned char key);
|
---|
128 | extern void info_end_of_node (WINDOW *window, int count, unsigned char key);
|
---|
129 | extern void info_move_to_prev_xref (WINDOW *window, int count, unsigned char key);
|
---|
130 | extern void info_move_to_next_xref (WINDOW *window, int count, unsigned char key);
|
---|
131 |
|
---|
132 | /* Scrolling text within a window. */
|
---|
133 | extern void info_scroll_forward (WINDOW *window, int count, unsigned char key);
|
---|
134 | extern void info_scroll_backward (WINDOW *window, int count, unsigned char key);
|
---|
135 | extern void info_redraw_display (WINDOW *window, int count, unsigned char key);
|
---|
136 | extern void info_toggle_wrap (WINDOW *window, int count, unsigned char key);
|
---|
137 | extern void info_move_to_window_line (WINDOW *window, int count,
|
---|
138 | unsigned char key);
|
---|
139 | extern void info_up_line (WINDOW *window, int count, unsigned char key);
|
---|
140 | extern void info_down_line (WINDOW *window, int count, unsigned char key);
|
---|
141 | extern void info_scroll_half_screen_down (WINDOW *window, int count,
|
---|
142 | unsigned char key);
|
---|
143 | extern void info_scroll_half_screen_up (WINDOW *window, int count,
|
---|
144 | unsigned char key);
|
---|
145 | extern void info_scroll_forward_set_window (WINDOW *window, int count,
|
---|
146 | unsigned char key);
|
---|
147 | extern void info_scroll_forward_page_only (WINDOW *window, int count,
|
---|
148 | unsigned char key);
|
---|
149 | extern void info_scroll_forward_page_only_set_window (WINDOW *window, int count,
|
---|
150 | unsigned char key);
|
---|
151 | extern void info_scroll_backward_set_window (WINDOW *window, int count,
|
---|
152 | unsigned char key);
|
---|
153 | extern void info_scroll_backward_page_only (WINDOW *window, int count,
|
---|
154 | unsigned char key);
|
---|
155 | extern void info_scroll_backward_page_only_set_window (WINDOW *window, int count,
|
---|
156 | unsigned char key);
|
---|
157 | extern void info_scroll_other_window_backward (WINDOW *window, int count,
|
---|
158 | unsigned char key);
|
---|
159 |
|
---|
160 | /* Manipulating multiple windows. */
|
---|
161 | extern void info_split_window (WINDOW *window, int count, unsigned char key);
|
---|
162 | extern void info_delete_window (WINDOW *window, int count, unsigned char key);
|
---|
163 | extern void info_keep_one_window (WINDOW *window, int count, unsigned char key);
|
---|
164 | extern void info_grow_window (WINDOW *window, int count, unsigned char key);
|
---|
165 | extern void info_scroll_other_window (WINDOW *window, int count,
|
---|
166 | unsigned char key);
|
---|
167 | extern void info_tile_windows (WINDOW *window, int count, unsigned char key);
|
---|
168 | extern void info_next_window (WINDOW *window, int count, unsigned char key);
|
---|
169 | extern void info_prev_window (WINDOW *window, int count, unsigned char key);
|
---|
170 |
|
---|
171 | /* Selecting nodes. */
|
---|
172 | extern void info_next_node (WINDOW *window, int count, unsigned char key);
|
---|
173 | extern void info_prev_node (WINDOW *window, int count, unsigned char key);
|
---|
174 | extern void info_up_node (WINDOW *window, int count, unsigned char key);
|
---|
175 | extern void info_last_node (WINDOW *window, int count, unsigned char key);
|
---|
176 | extern void info_first_node (WINDOW *window, int count, unsigned char key);
|
---|
177 | extern void info_history_node (WINDOW *window, int count, unsigned char key);
|
---|
178 | extern void info_goto_node (WINDOW *window, int count, unsigned char key);
|
---|
179 | extern void info_goto_invocation_node (WINDOW *window, int count,
|
---|
180 | unsigned char key);
|
---|
181 | extern void info_top_node (WINDOW *window, int count, unsigned char key);
|
---|
182 | extern void info_dir_node (WINDOW *window, int count, unsigned char key);
|
---|
183 | extern void info_global_next_node (WINDOW *window, int count, unsigned char key);
|
---|
184 | extern void info_global_prev_node (WINDOW *window, int count, unsigned char key);
|
---|
185 | extern void info_kill_node (WINDOW *window, int count, unsigned char key);
|
---|
186 | extern void info_view_file (WINDOW *window, int count, unsigned char key);
|
---|
187 | extern void info_menu_sequence (WINDOW *window, int count, unsigned char key);
|
---|
188 | extern NODE *info_follow_menus (NODE *initial_node, char **menus,
|
---|
189 | const char **errstr, char **errarg1, char **errarg2);
|
---|
190 | extern void info_man (WINDOW *window, int count, unsigned char key);
|
---|
191 | extern void list_visited_nodes (WINDOW *window, int count, unsigned char key);
|
---|
192 | extern void select_visited_node (WINDOW *window, int count, unsigned char key);
|
---|
193 |
|
---|
194 | /* Selecting cross references. */
|
---|
195 | extern void info_menu_digit (WINDOW *window, int count, unsigned char key);
|
---|
196 | extern void info_menu_item (WINDOW *window, int count, unsigned char key);
|
---|
197 | extern void info_xref_item (WINDOW *window, int count, unsigned char key);
|
---|
198 | extern void info_find_menu (WINDOW *window, int count, unsigned char key);
|
---|
199 | extern void info_select_reference_this_line (WINDOW *window, int count,
|
---|
200 | unsigned char key);
|
---|
201 | extern void info_last_menu_item (WINDOW *window, int count, unsigned char key);
|
---|
202 | extern void info_visit_menu (WINDOW *window, int count, unsigned char key);
|
---|
203 |
|
---|
204 | /* Hacking numeric arguments. */
|
---|
205 | extern int info_explicit_arg, info_numeric_arg, info_numeric_arg_sign;
|
---|
206 |
|
---|
207 | extern void info_add_digit_to_numeric_arg (WINDOW *window, int count,
|
---|
208 | unsigned char key);
|
---|
209 | extern void info_universal_argument (WINDOW *window, int count,
|
---|
210 | unsigned char key);
|
---|
211 | extern void info_initialize_numeric_arg (void);
|
---|
212 | extern void info_numeric_arg_digit_loop (WINDOW *window, int count,
|
---|
213 | unsigned char key);
|
---|
214 |
|
---|
215 | /* Searching commands. */
|
---|
216 | extern void info_search (WINDOW *window, int count, unsigned char key);
|
---|
217 | extern void isearch_forward (WINDOW *window, int count, unsigned char key);
|
---|
218 | extern void isearch_backward (WINDOW *window, int count, unsigned char key);
|
---|
219 | extern void info_search_case_sensitively (WINDOW *window, int count,
|
---|
220 | unsigned char key);
|
---|
221 | extern void info_search_backward (WINDOW *window, int count, unsigned char key);
|
---|
222 | extern void info_search_next (WINDOW *window, int count, unsigned char key);
|
---|
223 | extern void info_search_previous (WINDOW *window, int count, unsigned char key);
|
---|
224 |
|
---|
225 | /* Dumping and printing nodes. */
|
---|
226 | extern void info_print_node (WINDOW *window, int count, unsigned char key);
|
---|
227 |
|
---|
228 | /* Footnotes. */
|
---|
229 | extern void info_show_footnotes (WINDOW *window, int count, unsigned char key);
|
---|
230 |
|
---|
231 | /* Miscellaneous commands. */
|
---|
232 | extern void info_abort_key (WINDOW *window, int count, unsigned char key);
|
---|
233 | extern void info_quit (WINDOW *window, int count, unsigned char key);
|
---|
234 | extern void info_do_lowercase_version (WINDOW *window, int count,
|
---|
235 | unsigned char key);
|
---|
236 |
|
---|
237 | #endif /* not SESSION_H */
|
---|