Matthias Mees b8faaba829 Make category filtering a reusable function for live filtering
Can now be used anywhere where a "real-time" filter is desirable.
As a usage example, it's implemented for the list of installable
plugins. Should work anywhere, though – needs an input element,
a list of target elements and an element within those target
elements to contain the search term.

Also made the function for the reset button for this reusable.

References #154
2014-05-18 14:13:27 +02:00
..
2011-11-28 07:44:46 +01:00
2013-10-04 15:51:05 +02:00
2011-11-28 07:44:46 +01:00
2012-08-01 14:25:01 +02:00
2014-01-18 23:11:56 +01:00
2011-11-28 07:44:46 +01:00
2012-04-18 15:33:43 +02:00
2012-08-01 14:25:01 +02:00
2012-04-07 19:36:09 +02:00
2011-11-28 07:44:46 +01:00
2011-11-28 07:44:46 +01:00
2013-11-20 14:56:05 +01:00