Mini editor drag 'n' drop improvements.

Now doesn't do anything if you try to add the selected plugin or a
plugin that's already listed in the box.