Add a filter entry in the plugin manager dialog
commitb0f7f2859ba46e908e84c75b68e72908ac20d06d
authorEnrico Tröger <enrico.troeger@uvena.de>
Sat, 14 Feb 2015 13:20:45 +0000 (14 14:20 +0100)
committerEnrico Tröger <enrico.troeger@uvena.de>
Tue, 14 Apr 2015 20:18:28 +0000 (14 22:18 +0200)
treeaf713a3de22c59b6d724296b49506ee6791beafd
parent0f179331ef0760af7c5e7a61dbb9f70ba8c8e43f
Add a filter entry in the plugin manager dialog

Let the user filter plugins by searching the plugin names and descriptions.
While at it, group the plugin buttons into the dialog's action area to
save some space.
Rename OK button to Close in the plugin manager dialog
Set the input focus to the filter entry and set initial plugin button state
src/plugins.c