Joshua Olson
Joshua Olson
Or close exactly one.
Is https://github.com/ponylang/pony-tutorial/tree/master/docs/js where a fix would go?
So the only way to fix this is a https://github.com/GitbookIO/gitbook PR, not a configuration change on Pony's end?
I bothered GitBook's support and repo (since Pony uses the default search backend), but I haven't narrowed it down beyond theories.
Even `borrow` gives no search results, because [here](http://tutorial.ponylang.org/capabilities/recovering-capabilities.html) it's inside quotes. I asked them again.
Someone got back to me: > The search in GitBook is made possible by the `plugin-search` as you noticed. However the `plugin-search` [is] powered by a search backend, such as...
@SeanTAllen That's a lot of work, and I admit to moving on to another favorite programming language. I'll [add lunr 1.2](https://github.com/ponylang/pony-tutorial/pull/141), though (until it's released, then @Soreine said it's unnecessary).
How is that related to this issue, though?
It's a new GitBook feature, but if search is corrected now, I think the appendix could just list them.
We could improve the issue title.