Unable to use custom theme when productionMode=true

I’m using Vaadin 7.0.0.beta11 and everything works fine and dandy when I have productionMode=false in web.xml. When I set the value to true, the custom theme (defined in annotation) stops working. Apparently different Vaadin core themes (runo, reindeer) can still be used when productionMode is true.

See the attached demo app (maven). Could this be a bug?
12719.zip (996 KB)

When you have your application in development mode the SCSS theme will get compiled into CSS on-the-fly. When you switch to production mode you will need to compile the scss theme into CSS manually using the SASS compiler and add the produced CSS to the project.

Some instructions
here
(just run the class com.vaadin.sass.SassCompiler with the SCSS and CSS file names as parameters).

So that’s what it is! I must have missed that when creating the theme. All these SCSS things are new to me.

I’m using maven. Can I define my theme to be compiled in pom.xml, and if not, is this a planned feature?

Thanks a lot for both of you. Vaadin 7 feels very nice so far.

I’m gonna answer my own question (maven): It seems there’s already an enhancement ticket for compiling the SCSS file automatically during maven build @
http://dev.vaadin.com/ticket/10291