[PATCH] Add search to plugin preferences

[avar]

The plugin preferences should have a search dialog like Advanced Preferences.

It should search in plugin names & descriptions and narrow down the list when it gets partial matches somewhere (like Advanced Preferences).

[avar]

A patch to add search to plugin preferences

[avar]

Screenshot showing how this works

[avar]

I've implemented this. See attached patch & screenshot.

It works, but it could probably be optimized more. The drawPanel() function that's now being called every time a character is put into the search box was only designed to be called when plugins were updated or a new list of them downloaded. Hence it calls loadPlugins() which is expensive.

But I'm too lazy to implement this & optimize it today. And waiting a few milliseconds for the list to update is still a whole lot faster than manually scanning the whole thing with your eyeballs in search of a plugin.

[avar]

An improved patch to add search to plugin preferences. Gives PluginSelection a copy of PluginPreference's txtField

[avar]

Final (hopefully) patch. Now search in local/remote versions too and code cleanup

[avar]

I consider attachment:add-search-to-plugin-preferences-3.patch​ a patch ready to be applied. It works.

[stoecker]

(In [2147]) applied #3061 - patch by avar - search in plugin list