refs #4536: highlighting active plugins in the settings