e09063186c
This implementation is based on javascript 'window.find()' https://developer.mozilla.org/en-US/docs/Web/API/Window/find It's not standard, but implemented in most browsers. It's not a complete implementation as it can't determine how many search results can be found. If the backends API provides a native find interface it should be used instead of this implementation, but it's good fallback.