-
Notifications
You must be signed in to change notification settings - Fork 10
Add search field for API documentation #25
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Conversation
|
If the |
…ile-generator Conflicts: build/api-page.php
…-generator Add tests to the doc-file generator logic
|
I took a quick look. I think this a good improvement to the site. However, I have some suggestion:
|
Done.
I think it's already align horizontal & vertical, is that what you mean?
It's a bit bigger now, what do you think @jenshaase? |
2e2a2b2 to
fc3d36e
Compare
|
Edit: Solved! |
9cbb8a2 to
f7b011e
Compare
f7b011e to
ac895aa
Compare
04f9d4e to
7b33c47
Compare
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Maybe @jenshaase has some style adjustments in mind, but I think this PR is an awesome achievement.
A searcher in any "documentation website" is a must 👌🏻
ab0cc09 to
8a52de3
Compare
@jenshaase it should be fixed here. |
|
I just improved the desktop version of the top navigation. Will work on the mobile version tomorrow. What do you think? I also found a few thinks that could be improved:
|
I like the new design 👌🏼
I updated the JS implementing both requirements, tell me what you think :) |
854e20c to
551d281
Compare
|
I tried to implement the a mobile version of the search. If I want to put it in the mobile menu, I have to use another search input field with another search results div inside Therefore, I would propose that we first finish the PR with a search for the desktop version only and then work on the mobile version in another PR. What do you think? |
|
This PR is getting too big and we should close it to get its value, and work on continuous improvements in a follow up PR. |
|
@jenshaase yes! Completely agree. You can merge it 👍🏼 |
|
Merged! |
Is anything new from your side @jenshaase? |
|
CURRENT STATUS: Screen.Recording.2022-10-28.at.19.55.51.mov |







📚 Description
The idea of this PR is to create an offline search that contains all Phel API symbols with the signature and the description.
In order to get that, we will implement
elasticlunr()tool, for that we need to build manually the index.To create this file, you have to build manually the API page (as the
README.mdfile mentions).TIP: As the previous command is executed automatically on every release, we don´t need to trigger anything in the future to dump the search API database 😄
Also, the
content/documentation/api.mdwas added to.gitignorebecause this file is generated on the fly.💡 Demo