private TextAttribute getFromTheme(String name) {
if (!AddRedCoreThemeAvailable.isRedCoreAvailableForTheming()) {
return null;
}
Theme currentTheme = ThemePlugin.getDefault().getThemeManager().getCurrentTheme();
return currentTheme.getTextAttribute(name);
}