removing Styles

Hi,
I’m adding a css-file this way:


Styles styles = Page.getCurrent().getStyles();
styles.add( new ThemeResource("sample.css"));

How can I remove it during runtime? There is no remove() Method?
I’m using Vaadin 7.1.4

I wondered about this recently as well. It’s not a huge problem if you’re adding just a bit styles, as the new ones override the old ones, but I guess browsers might have some trouble if there’s really a lot of big style injections.

Removing the added styles is unfortunately not supported currently, as there were some technical difficulties in implementing it. I didn’t notice a ticket about the feature, so created
#12579
.