Implemented priority display in edit mode.

Hovering over a plugin in the sidebar will replace its name with its
priority value.