Theme editor: make available all the resources of a theme bank

the styles and presets available in a resource bank should be listed in the theme editor's UI, e.g. style manager, style editor, preset manager, etc. as soon as the user connects to a theme bank.

conversely they should be made unavailable when the connection is removed.