Width of theme selector

Currently the width of the theme selector panel is hard coded.

This PR makes it possible to change this width (a default value is applied if it is not defined in the plugin conf)

Please review