On Thursday, 10 August 2017 at 17:24:41 UTC, Martin Nowak wrote:
Try dman 2.074.0, opens http://dlang.org/changelog/2.019.html#2.074.0.


That would be a bug. It extends to the generated CHM's index as well, so we should fix it.

So in the end the search bar works much better for me.

If dman doesn't find the exact thing you're looking for, it falls back to a Google search, which is what the website search uses as well.

Reply via email to