camptocamp/cgxp — pull request #725 by kalbermattenm (2014-03-13 07:37:12+00:00)
Title: Add panelOptions to theme selector plugin

Title says it all.

This PR supersedes #724. It adds a `panelOptions` object to the configuration parameters of the theme selector plugin, which enables to change the panel properties.

Thanks a lot @sbrunner for your wise advises.

Please review