In practice I have found some problems with search on freemarker.org: - I can't search in the API java docs.
- When I search in the Manual, I often also want hits from the API JavaDocs, though getting them wouldn't be logical because of the structure of the site. - There's no search box on the Home tab. People my not realize that there's on on the Manual tab. So I think we need a global search box, which by default searches in the Manual and in the JavaDocs too. It would be a plus if it has "API" and "Manual" check boxes. So that would address all the point above. Where to put the global search box (layout...) is a trickier question. Certainly the Contribut-Report-Download thing had to go away to give space to it, but instead perhaps we could make them more apparent in the side menu (with some icons or whatever). And then on the Manual there will be a void in place of search... I don't know. Can you figure out something awesome? :) - The search box is no re-filled after search, so I can't refine my search. -- Thanks, Daniel Dekany
