Lines Matching refs:manual
92 "Could not find manual search widget in MakeSearchWidget.");
144 * Manual searches look through the list of manual pages for the right one
275 else { /* MANUAL SEARCH */
278 snprintf(string_buf, sizeof(string_buf), "No manual entry for %s.",
303 * Description: performs a manual search.
304 * Arguments: man_globals - the manual page specific globals.
319 e_num = BEntrySearch(string, manual[i].entries, manual[i].nentries);
330 e_num = BEntrySearch(string, manual[i].entries, manual[i].nentries);
338 * Manual page found in some other section, unhighlight the current one.
Indexes created Sat Apr 11 00:22:22 UTC 2026