On Fri, Dec 20, 2024 at 5:11 AM Mats Bengtsson <matsboxergr...@gmail.com> wrote: > [...] > On the other hand, using the search box at > the bottom of the left column searches the full set of documentation not > only the current document. >
The search box is something else that has bothered me. Since the search box just does a Google search, I can just go to Google and use site:lilypond.org instead. --- Christopher Carl Heckman
