Problem using setTheme and Responsive

I could not get Responsive to work on my project, using setTheme(“myThemeName”) in the init() method of my UI class.
Everything else from my theme is picked up fine.

Turns out I do get Responsive to work if I use @Theme(“myThemeName”) though.
I can use this as a workaround for now.

Confirmed this outside of my project, in a simpler example.

I was using setTheme because the theme’s name is retrieved from a config file.

I do know the Valo demo does theme switching using setTheme, but after it is using @Theme initially.

A bug in setTheme (using Vaadin 7.3.3)?

It is a bug and a ticket has been created at http://dev.vaadin.com/ticket/15281