-
Juri Linkov authored
(Info-search): Forward line if search is on the header line. Use search-whitespace-regexp in two other places.
180ee7c7
(Info-search): Forward line if search is on the header line. Use search-whitespace-regexp in two other places.