#2161: make ET mailing lists searchable -----------------------------+--------------------------------- Reporter: Roland Haas | Owner: (none) Type: enhancement | Status: review Priority: minor | Milestone: Component: Cactus website | Version: development version Resolution: | Keywords: -----------------------------+---------------------------------
Comment (by Roland Haas):
That sounds like a goo idea, yes. That would help finding information since we (unfortunately) do not have a site index of similar where one could see all available pages. Would you be ok if I added the search box to the top level menu bar (not sure how well that works with the mobile view of the pages though).