Inline panel titles and make panel show/hide based on user-interaction.

The user's preference of showing or hiding the panel is now checked when showing the panel upon receiving messages from the linter reporter.