hide Extras Panel if option is deselected (issue #16)