Changed plugin manager GUI as suggested by reviewers. #989 (Implement review comments in plugin infrastructure)