Getgrav.org Plugin Search - what lies behind?

Hi,

just wanted to know how you guys realized the search bar on the plugins page? is this a jquery plugin like isotope? or is there a plugin I can use for? :)

answer appreciated.

As you guessed, the plugin filtering is all done with JS. it's not a plugin because it is pretty specific to the downloads setup. If you look at a jQuery-based masonry/isotope style plugin though, you will get the same effect.