-
-
Notifications
You must be signed in to change notification settings - Fork 25.8k
DOC: a simple implementation of folding #26625
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
Linting PassedAll linting checks passed. Your pull request is in excellent shape! ☀️ |
@glemaitre : I have implemented tooltips, as you asked for |
fd69e52
to
dd3d76b
Compare
@glemaitre : can I haz review? Merge? |
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.
I will really like the addition of the hover.
Merging this part. @ArturoAmorQ you can go back to the documentation. I will review it after the sync. |
An alternative to #26619
Implement html folding via "raw-html" directives.
This is just a first iteration of the idea to demonstrate the feasibility.
The benefit that I see is that it does not collide with other sphinx directives (unlike the dropdown code explored in #26619 )
cc @ArturoAmorQ @Tech-Netiums
Todo: