MiniEditor tweak.

Plugin priorities in the plugins list now get updated when a new plugin
is selected. Also fixed bolded entries for plugins that have been edited
being unbolded by the filter.