On Saturday, 10 March 2018 at 16:49:44 UTC, Martin Tschierschke wrote:
There is a bug, I just tried "mouse event" in the search box and got a strange result.

oh yikes a recursive javascript redirect. fixed that.

The search still kinda sucks, but it is better than nothing. If you put in a full name, it should be the first result. Otherwise, it tries a full text search that is a bit spotty.

Reply via email to