annotate INFO.PATCH @ 2998:692ba9d441ec

[project @ 1997-05-23 02:58:08 by jwe]
author jwe
date Fri, 23 May 1997 03:00:29 +0000
parents 3b8598be273e
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
2506
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
1 Octave depends on being able to call the GNU info reader with the
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
2 command line arguments
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
3
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
4 --index-search STRING
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
5
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
6 to find individual entries in the manual. The following patch
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
7 implements this option. It is relative to the version of info
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
8 distributed with texinfo-3.9.
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
9
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
10 The patch has already been applied to the info sources distributed
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
11 with Octave. It is only provided here in case you want to add this
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
12 option to some other version of info that you may have.
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
13
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
14 This patch has been submitted to the maintainers of Texinfo, so maybe
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
15 someday it will not be necessary.
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
16
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
17 jwe
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
18
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
19
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
20 Tue Nov 12 14:44:00 1996 John W. Eaton <jwe@bevo.che.wisc.edu>
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
21
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
22 * info/session.c (initialize_info_session): New arg,
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
23 clear_screen. Change all callers.
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
24
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
25 * info/info.c (main): Handle new option, --index-search STRING.
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
26 (index_search_p, index_search_string): New static variables, used
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
27 to handle --index-search option.
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
28
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
29 * info/indices.h (do_info_index_search, index_intry_exists):
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
30 Provide declarations here.
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
31
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
32 * info/indices.c (do_info_index_search): New function, extracted
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
33 from info_index_search.
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
34 (info_index_search): Simply call do_info_index_search() with
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
35 search_string set to NULL.
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
36 (index_entry_exists): New function.
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
37
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
38
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
39 diff -cNr texinfo-3.9/info/indices.c texinfo-3.9.local/info/indices.c
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
40 *** texinfo-3.9/info/indices.c Fri Jun 16 12:59:55 1995
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
41 --- texinfo-3.9.local/info/indices.c Tue Nov 12 15:09:58 1996
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
42 ***************
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
43 *** 174,180 ****
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
44 }
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
45
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
46 DECLARE_INFO_COMMAND (info_index_search,
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
47 ! "Look up a string in the index for this file")
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
48 {
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
49 FILE_BUFFER *fb;
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
50 char *line;
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
51 --- 174,191 ----
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
52 }
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
53
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
54 DECLARE_INFO_COMMAND (info_index_search,
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
55 ! "Look up a string in the index for this file")
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
56 ! {
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
57 ! do_info_index_search (window, count, 0);
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
58 ! }
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
59 !
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
60 ! /* Look up SEARCH_STRING in the index for this file. If SEARCH_STRING
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
61 ! is NULL, prompt user for input. */
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
62 ! void
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
63 ! do_info_index_search (window, count, search_string)
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
64 ! WINDOW *window;
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
65 ! int count;
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
66 ! char *search_string;
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
67 {
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
68 FILE_BUFFER *fb;
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
69 char *line;
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
70 ***************
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
71 *** 204,239 ****
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
72 return;
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
73 }
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
74
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
75 ! /* Okay, there is an index. Let the user select one of the members of it. */
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
76 ! line =
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
77 ! info_read_maybe_completing (window, "Index entry: ", index_index);
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
78 !
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
79 ! window = active_window;
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
80 !
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
81 ! /* User aborted? */
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
82 ! if (!line)
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
83 {
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
84 ! info_abort_key (active_window, 1, 0);
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
85 ! return;
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
86 ! }
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
87
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
88 ! /* Empty line means move to the Index node. */
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
89 ! if (!*line)
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
90 ! {
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
91 ! free (line);
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
92
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
93 ! if (initial_index_filename && initial_index_nodename)
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
94 {
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
95 ! NODE *node;
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
96 !
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
97 ! node =
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
98 ! info_get_node (initial_index_filename, initial_index_nodename);
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
99 ! set_remembered_pagetop_and_point (window);
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
100 ! window_set_node_of_window (window, node);
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
101 ! remember_window_and_node (window, node);
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
102 ! window_clear_echo_area ();
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
103 return;
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
104 }
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
105 }
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
106
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
107 /* The user typed either a completed index label, or a partial string.
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
108 --- 215,256 ----
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
109 return;
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
110 }
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
111
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
112 ! /* Okay, there is an index. Look for SEARCH_STRING, or, if it is
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
113 ! empty, prompt for one. */
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
114 ! if (search_string && *search_string)
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
115 ! line = strdup (search_string);
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
116 ! else
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
117 {
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
118 ! line =
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
119 ! info_read_maybe_completing (window, "Index entry: ", index_index);
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
120
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
121 ! window = active_window;
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
122
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
123 ! /* User aborted? */
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
124 ! if (!line)
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
125 {
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
126 ! info_abort_key (active_window, 1, 0);
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
127 return;
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
128 }
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
129 +
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
130 + /* Empty line means move to the Index node. */
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
131 + if (!*line)
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
132 + {
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
133 + free (line);
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
134 +
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
135 + if (initial_index_filename && initial_index_nodename)
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
136 + {
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
137 + NODE *node;
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
138 +
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
139 + node =
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
140 + info_get_node (initial_index_filename, initial_index_nodename);
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
141 + set_remembered_pagetop_and_point (window);
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
142 + window_set_node_of_window (window, node);
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
143 + remember_window_and_node (window, node);
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
144 + window_clear_echo_area ();
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
145 + return;
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
146 + }
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
147 + }
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
148 }
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
149
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
150 /* The user typed either a completed index label, or a partial string.
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
151 ***************
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
152 *** 265,270 ****
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
153 --- 282,334 ----
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
154 if (index_offset == old_offset)
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
155 index_offset = 0;
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
156 }
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
157 + }
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
158 +
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
159 + int
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
160 + index_entry_exists (window, string)
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
161 + WINDOW *window;
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
162 + char *string;
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
163 + {
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
164 + register int i;
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
165 + FILE_BUFFER *fb;
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
166 +
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
167 + /* If there is no previous search string, the user hasn't built an index
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
168 + yet. */
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
169 + if (!string)
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
170 + return 0;
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
171 +
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
172 + fb = file_buffer_of_window (window);
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
173 + if (!initial_index_filename ||
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
174 + (strcmp (initial_index_filename, fb->filename) != 0))
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
175 + {
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
176 + info_free_references (index_index);
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
177 + index_index = info_indices_of_file_buffer (fb);
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
178 + }
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
179 +
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
180 + /* If there is no index, that is an error. */
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
181 + if (!index_index)
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
182 + return 0;
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
183 +
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
184 + for (i = 0; (i > -1) && (index_index[i]); i++)
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
185 + if (strcmp (string, index_index[i]->label) == 0)
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
186 + break;
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
187 +
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
188 + /* If that failed, look for the next substring match. */
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
189 + if ((i < 0) || (!index_index[i]))
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
190 + {
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
191 + for (i = 0; (i > -1) && (index_index[i]); i++)
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
192 + if (string_in_line (string, index_index[i]->label) != -1)
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
193 + break;
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
194 +
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
195 + if ((i > -1) && (index_index[i]))
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
196 + string_in_line (string, index_index[i]->label);
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
197 + }
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
198 +
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
199 + /* If that failed, return 0. */
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
200 + if ((i < 0) || (!index_index[i]))
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
201 + return 0;
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
202 +
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
203 + return 1;
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
204 }
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
205
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
206 DECLARE_INFO_COMMAND (info_next_index_match,
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
207 diff -cNr texinfo-3.9/info/indices.h texinfo-3.9.local/info/indices.h
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
208 *** texinfo-3.9/info/indices.h Fri Jun 16 13:01:54 1995
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
209 --- texinfo-3.9.local/info/indices.h Tue Nov 12 15:01:54 1996
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
210 ***************
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
211 *** 35,39 ****
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
212 --- 35,41 ----
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
213
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
214 /* User visible functions declared in indices.c. */
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
215 extern void info_index_search (), info_next_index_match ();
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
216 + extern void do_info_index_search ();
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
217 + extern int index_intry_exists ();
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
218
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
219 #endif /* !_INDICES_H_ */
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
220 diff -cNr texinfo-3.9/info/info.c texinfo-3.9.local/info/info.c
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
221 *** texinfo-3.9/info/info.c Fri Oct 4 13:19:54 1996
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
222 --- texinfo-3.9.local/info/info.c Tue Nov 12 15:21:19 1996
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
223 ***************
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
224 *** 39,44 ****
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
225 --- 39,52 ----
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
226 /* Variable containing the string to search for when apropos_p is non-zero. */
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
227 static char *apropos_search_string = (char *)NULL;
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
228
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
229 + /* Non-zero means search all indices for INDEX_SEARCH_STRING. Unlike
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
230 + apropos, this puts the user at the node, running info. */
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
231 + static int index_search_p = 0;
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
232 +
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
233 + /* Variable containing the string to search for when index_search_p is
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
234 + non-zero. */
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
235 + static char *index_search_string = (char *)NULL;
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
236 +
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
237 /* Non-zero means print version info only. */
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
238 static int print_version_p = 0;
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
239
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
240 ***************
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
241 *** 70,75 ****
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
242 --- 78,84 ----
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
243 #define APROPOS_OPTION 1
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
244 #define DRIBBLE_OPTION 2
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
245 #define RESTORE_OPTION 3
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
246 + #define IDXSRCH_OPTION 4
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
247 static struct option long_options[] = {
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
248 { "apropos", 1, 0, APROPOS_OPTION },
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
249 { "directory", 1, 0, 'd' },
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
250 ***************
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
251 *** 81,86 ****
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
252 --- 90,96 ----
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
253 { "version", 0, &print_version_p, 1 },
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
254 { "dribble", 1, 0, DRIBBLE_OPTION },
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
255 { "restore", 1, 0, RESTORE_OPTION },
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
256 + { "index-search", 1, 0, IDXSRCH_OPTION },
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
257 {NULL, 0, NULL, 0}
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
258 };
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
259
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
260 ***************
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
261 *** 181,186 ****
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
262 --- 191,203 ----
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
263 info_set_input_from_file (optarg);
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
264 break;
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
265
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
266 + /* User has specified a string to search all indices for. */
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
267 + case IDXSRCH_OPTION:
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
268 + index_search_p = 1;
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
269 + maybe_free (index_search_string);
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
270 + index_search_string = strdup (optarg);
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
271 + break;
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
272 +
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
273 default:
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
274 usage ();
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
275 }
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
276 ***************
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
277 *** 286,291 ****
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
278 --- 303,345 ----
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
279 begin_multiple_window_info_session (user_filename, user_nodenames);
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
280
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
281 exit (0);
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
282 + }
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
283 +
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
284 + /* If the user specified `--index-search string', start the info
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
285 + session in the node corresponding to the first match. */
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
286 + if (index_search_p)
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
287 + {
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
288 + int status = 0;
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
289 +
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
290 + initialize_info_session (initial_node, 0);
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
291 +
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
292 + if (index_entry_exists (windows, index_search_string))
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
293 + {
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
294 + terminal_clear_screen ();
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
295 + terminal_prep_terminal ();
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
296 + display_update_display (windows);
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
297 + info_last_executed_command = (VFunction *)NULL;
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
298 +
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
299 + do_info_index_search (windows, 0, index_search_string);
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
300 +
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
301 + info_read_and_dispatch ();
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
302 +
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
303 + terminal_unprep_terminal ();
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
304 +
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
305 + /* On program exit, leave the cursor at the bottom of the
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
306 + window, and restore the terminal IO. */
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
307 + terminal_goto_xy (0, screenheight - 1);
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
308 + terminal_clear_to_eol ();
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
309 + fflush (stdout);
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
310 + }
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
311 + else
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
312 + {
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
313 + fprintf (stderr, "no entries found\n");
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
314 + status = -1;
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
315 + }
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
316 +
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
317 + close_dribble_file ();
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
318 + exit (status);
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
319 }
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
320
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
321 /* If there are arguments remaining, they are the names of menu items
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
322 diff -cNr texinfo-3.9/info/session.c texinfo-3.9.local/info/session.c
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
323 *** texinfo-3.9/info/session.c Fri Jul 19 09:56:01 1996
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
324 --- texinfo-3.9.local/info/session.c Tue Nov 12 15:33:08 1996
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
325 ***************
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
326 *** 92,98 ****
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
327 /* If this is the first node, initialize the info session. */
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
328 if (!window)
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
329 {
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
330 ! initialize_info_session (node);
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
331 window = active_window;
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
332 }
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
333 else
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
334 --- 92,98 ----
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
335 /* If this is the first node, initialize the info session. */
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
336 if (!window)
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
337 {
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
338 ! initialize_info_session (node, 1);
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
339 window = active_window;
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
340 }
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
341 else
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
342 ***************
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
343 *** 145,151 ****
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
344 char *format;
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
345 void *arg;
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
346 {
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
347 ! initialize_info_session (initial_node);
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
348 info_error (format, arg, (void *)NULL);
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
349 info_session ();
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
350 }
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
351 --- 145,151 ----
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
352 char *format;
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
353 void *arg;
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
354 {
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
355 ! initialize_info_session (initial_node, 1);
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
356 info_error (format, arg, (void *)NULL);
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
357 info_session ();
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
358 }
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
359 ***************
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
360 *** 155,161 ****
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
361 begin_info_session (initial_node)
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
362 NODE *initial_node;
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
363 {
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
364 ! initialize_info_session (initial_node);
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
365 display_startup_message_and_start ();
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
366 }
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
367
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
368 --- 155,161 ----
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
369 begin_info_session (initial_node)
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
370 NODE *initial_node;
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
371 {
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
372 ! initialize_info_session (initial_node, 1);
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
373 display_startup_message_and_start ();
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
374 }
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
375
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
376 ***************
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
377 *** 260,269 ****
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
378 extern void initialize_info_signal_handler ();
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
379
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
380 /* Initialize the first info session by starting the terminal, window,
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
381 ! and display systems. */
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
382 void
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
383 ! initialize_info_session (node)
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
384 NODE *node;
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
385 {
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
386 char *getenv (), *term_name;
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
387
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
388 --- 260,271 ----
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
389 extern void initialize_info_signal_handler ();
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
390
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
391 /* Initialize the first info session by starting the terminal, window,
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
392 ! and display systems. If CLEAR_SCREEN is 0, don't clear the
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
393 ! screen. */
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
394 void
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
395 ! initialize_info_session (node, clear_screen)
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
396 NODE *node;
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
397 + int clear_screen;
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
398 {
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
399 char *getenv (), *term_name;
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
400
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
401 ***************
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
402 *** 279,285 ****
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
403 exit (1);
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
404 }
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
405
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
406 ! terminal_clear_screen ();
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
407 initialize_info_keymaps ();
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
408 window_initialize_windows (screenwidth, screenheight);
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
409 initialize_info_signal_handler ();
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
410 --- 281,289 ----
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
411 exit (1);
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
412 }
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
413
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
414 ! if (clear_screen)
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
415 ! terminal_clear_screen ();
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
416 !
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
417 initialize_info_keymaps ();
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
418 window_initialize_windows (screenwidth, screenheight);
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
419 initialize_info_signal_handler ();
3b8598be273e [project @ 1996-11-13 04:26:39 by jwe]
jwe
parents:
diff changeset
420