Opened 15 years ago
Closed 15 years ago
#3061 closed enhancement (fixed)
[PATCH] Add search to plugin preferences
| Reported by: | Owned by: | ||
|---|---|---|---|
| Priority: | major | Milestone: | |
| Component: | Core | Version: | latest |
| Keywords: | patch | Cc: |
Description
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).
Attachments (4)
Change History (7)
by , 15 years ago
| Attachment: | add-search-to-plugin-preferences.patch added |
|---|
comment:1 by , 15 years ago
| Owner: | changed from to |
|---|---|
| Summary: | Add search to plugin preferences → [PATCH] Add search to plugin preferences |
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.
by , 15 years ago
| Attachment: | add-search-to-plugin-preferences-2.patch added |
|---|
An improved patch to add search to plugin preferences. Gives PluginSelection a copy of PluginPreference's txtField
by , 15 years ago
| Attachment: | add-search-to-plugin-preferences-3.patch added |
|---|
Final (hopefully) patch. Now search in local/remote versions too and code cleanup
comment:2 by , 15 years ago
| Keywords: | patch added |
|---|
I consider attachment:add-search-to-plugin-preferences-3.patch a patch ready to be applied. It works.
comment:3 by , 15 years ago
| Resolution: | → fixed |
|---|---|
| Status: | new → closed |
A patch to add search to plugin preferences