Change-Id: Ia78d38c36e7f5f9c86e645f4afd2014cdc88cb32
}
public String getThemeName() {
- String themeName = getJsoConfiguration(id).getConfigString("theme");
- themeName = themeName.replaceAll("[^a-zA-Z0-9]", "");
- return themeName;
+ return getJsoConfiguration(id).getConfigString("theme");
}
public String getThemeUri() {
// the user
root.getElement().setInnerHTML("");
- root.addStyleName("v-theme-"
- + applicationConnection.getConfiguration().getThemeName());
+ String themeName = applicationConnection.getConfiguration()
+ .getThemeName();
+ // Remove chars that are not suitable for style names
+ themeName = themeName.replaceAll("[^a-zA-Z0-9]", "");
+ root.addStyleName("v-theme-" + themeName);
root.add(getWidget());