Closed Archie-2021 closed 2 years ago
Yes, filter doesn't eliminate any heading. It only add a thin underline to the selected heading.
If you want headings un selected to be eliminated, replace main.js
file in plugin folder to this main.js
file below:
main.zip
and add a rule in styles.css
:
then that's it:
I'll consider making it a formal release later.
Now there is no need to modify style.css
file, as hiding irrelevent results is supported inrelease 0.2.4
. You can enable it in settings.
Now there is no need to modify
style.css
file, as hiding irrelevent results is supported inrelease0.2.4
. You can enable it in settings.
It works like a charm now, thanks
When i try to filter, it just open up some folding, not eliminating any results. like i am having a lot of level 3 heading I use to index stuff and i can find anything because there is no filter applied.
thank you, such a plugin was really needed