Vaadin 7.4.0 Button.setHtmlContentAllowed(true) broken

I just switched to Vaadin 7.4.0 (from 7.3.10) and I noticed, that Button.setHtmlContentAllowed(true) doesn’t work anymore. The HTML text I’m using (init i.e.) is displayed exactly like the text in the parenthesis. In Vaadin 7.3.10 this was working.

Hi,

It works for me at least in
this example
with 7.4.0. I hope you have compiled your theme and widget set properly. You might have some other compilation or deployment problem as well.

I thought that had compiled the Widget Set, but it seems that I haven’t. I did a full rebuild and now it’s working.

Thanks for your response.