You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
{{ message }}
This repository has been archived by the owner on Dec 9, 2018. It is now read-only.
In #231 an API has been introduced to search in the result html. When this API works, the next step could be to add an GUI that makes use of this API.
The GUI should contain form elements to feed the search-API with data. A first version could have two tabs, one for search and one for search & replace. Both tabs can contain radio buttons for the search method (regular vs. regex) and search direction (up vs. down)
The text was updated successfully, but these errors were encountered:
I am looking for a reader/viewer application as descibed here: #219 has there been any effort since the issue was closed? I was trying really hard to implement one by myself but I am struggling with displaying it right on many devices.
Sign up for freeto subscribe to this conversation on GitHub.
Already have an account?
Sign in.
In #231 an API has been introduced to search in the result html. When this API works, the next step could be to add an GUI that makes use of this API.
The GUI should contain form elements to feed the search-API with data. A first version could have two tabs, one for
search
and one forsearch & replace
. Both tabs can contain radio buttons for the search method (regular
vs.regex
) and search direction (up
vs.down
)The text was updated successfully, but these errors were encountered: