On Wed, Sep 21, 2016, at 04:30 PM, Matthew Miller wrote: > On Wed, Sep 21, 2016 at 12:50:52PM +0200, Brian Exelbierd wrote: > > > * Per-document search that works. Most site tools aren't designed for > > > docs and just have global search. > > I believe this is a solveable problem. It is on my list to do a POC of > > as soon as I can. > > Isn't this just "ctrl-f" in my web browser? No as our output is chunked. This only works if you have html-single style output. If you get to the right section, it works well :) regards, bex _______________________________________________ docs mailing list -- docs@xxxxxxxxxxxxxxxxxxxxxxx To unsubscribe send an email to docs-leave@xxxxxxxxxxxxxxxxxxxxxxx
